Results 1 to 10 of about 100 (90)
α-Minimal Resolution Principle For A Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2015 Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary α-resolution based automated reasoning schemes in the framework of lattice-valued logic with truth-values in a lattice ...
Hairui Jia, Yang Xu, Yi Liu, Jun Liu
doaj +3 more sources
α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [PDF]
International Journal of Computational Intelligence Systems, 2015 In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra.
Weitao Xu +4 more
doaj +4 more sources
Researches on Six Lattice-Valued Logic ()
Journal of Computer and Communications, 2015 Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply.
exaly +3 more sources
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X) [PDF]
International Journal of Computational Intelligence Systems, 2014 This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic.
Jiafeng Zhang, Yang Xu, Xingxing He
doaj +1 more source
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2014 Based on the general form of α-resolution principle for a lattice-valued logic with truth-values defined in a lattice-valued logical algebra structure - lattice implication algebra, the further extended α-resolution method in this lattice ...
Xiaomei Zhong +3 more
doaj +1 more source
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic [PDF]
International Journal of Computational Intelligence Systems, 2012 This paper focuses on effcient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution.
Xingxing He +3 more
doaj +1 more source
Interval-Valued General Residuated Lattice-Ordered Groupoids and Expanded Triangle Algebras
Axioms, 2022 As an extension of interval-valued pseudo t-norms, interval-valued pseudo-overlap functions (IPOFs) play a vital role in solving interval-valued multi-attribute decision making problems.
Xiaohong Zhang, Rong Liang
doaj +1 more source
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
Bulletin of the Section of Logic, 2021 In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj +1 more source
Algebraic semantics for one-variable lattice-valued logics
CoRR, 2022 The one-variable fragment of any first-order logic may be considered as a modal logic, where the universal and existential quantifiers are replaced by a box and diamond modality, respectively. In several cases, axiomatizations of algebraic semantics for these logics have been obtained: most notably, for the modal counterparts S5 and MIPC of the one ...
George Metcalfe +2 more
openaire +3 more sources
Gautama and Almost Gautama Algebras and their associated logics [PDF]
Transactions on Fuzzy Sets and Systems, 2023 Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of which are, in ...
Juan M. Cornejo +1 more
doaj +1 more source