Preideals in EQ-algebras

DOI10.1007/s00500-021-06071-yzbMath1498.03163OpenAlexW4214807304MaRDI QIDQ2100409

N. Akhlaghinia, M. Aaly Kologani, Rajab Ali Borzooei

Publication date: 22 November 2022

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-021-06071-y

zbMATH Keywords

complete latticedistributive latticeHeyting algebraMV-algebra(pre)idealbounded EQ-algebragenerated preideal

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Lattice ideals, congruence relations (06B10)

Cites Work

• Unnamed Item
• On good EQ-algebras
• Representable good EQ-algebras
• EQ-algebras
• Non-commutative first-order EQ-logics
• Algebraic foundations of many-valued reasoning
• Equality algebras
• Ideals and congruences of basic algebras
• The lattice of prefilters of an EQ-algebra
• Results on equality algebras
• Finite direct products of EQ-algebras
• MV-algebras derived from ideals in BL-algebras
• EQ-algebra-based fuzzy type theory and its extensions
• States on EQ-algebras
• On ideal theory of hoops
• On ideals in De Morgen residuated lattices
• Ideals in bounded equality algebras
• The existence of states on EQ-algebras
• Implicative and positive implicative prefilters of EQ-algebras
• On the Category of EQ-algebras

This page was built for publication: Preideals in EQ-algebras