Results 21 to 30 of about 378,509 (227)
On Relationships of Filters in Lattice Implication Algebra
, 2007 In this paper, we focus on the properties of filters in lattice implication algebra. We study the relationship of associative filter and implicative filter, n-fold associative filter and n-fold implicative filter in detail. And a sufficient condition of involution filter in lattice implication algebra is proved. Then the relationship of some filters is
Yang Xu +4 more
openaire +3 more sources
Congruence Relations on Lattice Implication Algebras
Journal of Mathematics Research, 2011 Lattice implication algebra is an important logic algebra, congruence relations is one of important contents in it. The basic properties and the structures of general congruence relations on lattice implication algebras are discussed; The results that a lattice implication algebra is congruence-permutable is obtained.
Yi Liu, Yang Xu, Chengxi Liu, Ya Qin
openaire +5 more sources
ON QUASI-LATTICE IMPLICATION ALGEBRAS [PDF]
Journal of applied mathematics & informatics, 2015 Yong Ho Yon
openaire +3 more sources
α-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
Determination of 3-Ary -Resolution in Lattice-valued Propositional Logic LP(X) [PDF]
International Journal of Computational Intelligence Systems, 2013 One of key issues for -() ary resolution automated reasoning based on lattice-valued logic with truth-value in a lattice implication algebra is to investigate the -() ary resolution of some generalized literals.
Yi Liu, Hairui Jia, Yang Xu
doaj +1 more source
INT-SOFT FILTERS IN LATTICE IMPLICATION ALGEBRAS [PDF]
Bulletin of the Korean Mathematical Society, 2016 Yang Xu, Xiaohong Zhang, Young Bae Jun
openaire +3 more sources
Partial Residuated Implications Induced by Partial Triangular Norms and Partial Residuated Lattices
Axioms, 2023 This paper reveals some relations between fuzzy logic and quantum logic on partial residuated implications (PRIs) induced by partial t-norms as well as proposes partial residuated monoids (PRMs) and partial residuated lattices (PRLs) by defining partial ...
Xiaohong Zhang +2 more
doaj +1 more source
Implication in weakly and dually weakly orthomodular lattices [PDF]
Algebraic Perspectives on Substructural Logics (D. Fazio et al.
(eds.)), 41-56, Trends in Logic - Studia Logica Library, 55. Springer, Cham
2021, 2022 Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implication in these lattices which can be easily axiomatized and which yields a nice lattice structure.
arxiv +1 more source
α-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
Linguistic-Valued Approximate Reasoning With Lattice Ordered Linguistic-Valued Credibility [PDF]
International Journal of Computational Intelligence Systems, 2015 Linguistic terms are often used to represent the truth degree or credibility degree to manage the uncertainty or imprecision as one of popular ways of knowledge representation in the perception-based decision making problem.
Li Zou, Yunxia Zhang, Xin Liu
doaj +1 more source