Results 1 to 10 of about 378,509 (227)
Fantastic filters of lattice implication algebras [PDF]
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 +4 more sources
Vague Congruences and Quotient Lattice Implication Algebras [PDF]
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 +4 more sources
IFI-ideals of lattice implication algebras [PDF]
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 +5 more sources
Ultra LI-ideals in lattice implication algebras and MTL-algebras [PDF]
A mistake concerning the ultra \textit{LI}-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an \textit{LI}-ideal to be an ultra \textit{LI}-ideal are given. Moreover, the notion of an \textit{LI}-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) \textit{LI ...
Xiaohong Zhang+2 more
arxiv +9 more sources
Neutrosophic LI-ideals in lattice implication algebras [PDF]
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 +4 more sources
Some operations on lattice implication algebras [PDF]
We introduce the concept of a ⊗‐closed set and a ⊗‐homomorphism in lattice implication algebras, and we discuss some of their properties. Next, we introduce the fuzzy implicative filter and obtain equivalent conditions. Finally, we discuss the operation ⊗, fuzzy filters and fuzzy implicative filters.
Seon Yu Kim+3 more
openaire +4 more sources
The logic induced by effect algebras. [PDF]
Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a simple axiom system in Gentzen style in order to axiomatize the logic induced by lattice effect algebras.
Chajda I, Halaš R, Länger H.
europepmc +2 more sources
On n‐fold implicative filters of lattice implication algebras [PDF]
We introduce the notion of n‐fold implicative filters and n‐fold implicative lattice implication algebras. We give characterizations of n‐fold implicative filters and n‐fold implicative lattice implication algebras. Finally, we construct an extension property for n‐fold implicative filter.
Young Bae Jun
openaire +4 more sources
Critical Multi-Cubic Lattices: A Novel Implication Algebra for Infinite Systems of Qudit Gates [PDF]
We introduce a new structure, the critical multi-cubic lattice. Notably the critical multi-cubic lattice is the first true generalization of the cubic lattice to higher dimensional spaces. We then introduce the notion of a homomorphism in the category of critical multi-cubic lattices, compute its automorphism group, and construct a Hilbert space over ...
Morrison Turnansky
arxiv +3 more sources
ON FUZZY IMPLICATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS
We investigate some related properties of fuzzy filters and fuzzy implicative filters in lattice implication algebras. We find a characterization of fuzzy filters and fuzzy implicative filters, and we discuss a relation between fuzzy filters and fuzzy implicative filters in lattice implication algebras.
Eun-Hwan Roh, Yiquan Zhu, Qun Zhang
openaire +4 more sources