Results 1 to 10 of about 292 (132)
IFI-ideals of lattice implication algebras [PDF]
International Journal of Computational Intelligence Systems, 2013 The notion of –ideal is introduced in lattice implication algebras. Firstly, the equivalent conditions of –ideals and –ideals are given in lattice implication algebras.
Hua Zhu, Jianbin Zhao, Yang Xu
doaj +3 more sources
Vague Congruences and Quotient Lattice Implication Algebras [PDF]
The Scientific World Journal, 2014 The aim of this paper is to further develop the congruence theory on lattice implication algebras. Firstly, we introduce the notions of vague similarity relations based on vague relations and vague congruence relations.
Xiaoyan Qin, Yi Liu, Yang Xu
doaj +3 more sources
Fantastic filters of lattice implication algebras [PDF]
International Journal of Mathematics and Mathematical Sciences, 2000 The notion of a fantastic filter in a lattice implication algebra is introduced, and the relations among filter, positive implicative filter, and fantastic filter are given.
Young Bae Jun
doaj +3 more sources
Filters and structure of lattice implication algebra
Chinese Science Bulletin, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Liu, Jun, Xu, Yang
exaly +3 more sources
Neutrosophic LI-ideals in lattice implication algebras [PDF]
Neutrosophic Sets and Systems, 2020 The notion of neutrosophic set theory is applied to lattice implication algebras, and the concept of neutrosophic LI-ideals and neutrosophic lattice ideals in a lattice implication algebra are introduced.
Rajab Ali Borzooei +2 more
doaj +1 more source
The connection of hyper lattice implication algebras and related hyper algebras [PDF]
Journal of Hyperstructures, 2016 In this paper, we de ne the concepts of (good) con- gruences and strong congruences on hyper lattice implication alge- bras and use them to construct quotient hyper lattice implication algebras.
Shokoofeh Ghorbani
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
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
Roughness of Filters in Lattice Implication Algebras [PDF]
Bulletin of the Polish Academy of Sciences Mathematics, 2004 Summary: As a generalization of filters in lattice implication algebras, the notion of rough filters in lattice implication algebras is introduced, and some of their properties are considered.
Jun, Young Bae, Xu, Yang
openaire +1 more source
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