Generalization of filter theory of EQ-algebras based on lattices
From MaRDI portal
Publication:6909871
The authors introduced the notions of \(\mathcal{L}\)-prefilter and \(\mathcal{L}\)-filter in \(\mathsf{EQ}\)-algebras. They studied the lattice structure of these filters and prove that in an \(\mathsf{EQ}\)-algebra, the lattice of \(\mathcal{L}\)-prefilters is a complete Brouwerian lattice, and hence it forms a Heyting lattice. They also prove that \(\mathcal{L}\)-prefilters induce a relative \(\mathcal{L}\)-equivalence relation and \(\mathcal{L}\)-filters correspond to relative \(\mathcal{L}\)-congruences.
Cites work
- EQ-algebra-based fuzzy type theory and its extensions
- EQ-algebras
- Fuzzy Boolean and positive implicative filters of BL-algebras
- Fuzzy filters of BL-algebras
- Fuzzy filters of MTL-algebras
- Fuzzy ideals of BCI and MV-algebras
- Fuzzy sets
- Fuzzy sets as a basis for a theory of possibility
- scientific article; zbMATH DE number 1494169 (Why is no real title available?)
- scientific article; zbMATH DE number 909506 (Why is no real title available?)
- Isomorphisms in EQ-algebras
- L-fuzzy ideals of residuated lattices
- L-fuzzy sets
- Lattice Theory: Foundation
- Lattices and ordered algebraic structures
- New kinds of prefilters in EQ-algebras
- Non-commutative first-order EQ-logics
- On good EQ-algebras
- On the Category of EQ-algebras
- Representable good EQ-algebras
- Residuated EQ-algebras may not be residuated lattices
- States on EQ-algebras
- The lattice of prefilters of an EQ-algebra
- The lattice structure of ideals of a BCK-algebra
This page was built for publication: Generalization of filter theory of \(\mathsf{EQ}\)-algebras based on lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909871)
