Some classical theorems in state residuated lattices

MaRDI QIDQ5014359zbMATH OpenFDO

Authors Mohammad Reza Taheri, Haghani Farhad Khaksar, Saeed Rasouli

Publication date 2 December 2021

zbMATH Keywords

going up theoremlying over theoremstate residuated lattice

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Structure theory of lattices (06B05)

Recommendations

• The going-up and going-down theorems in residuated lattices
• The prime state ideal theorem in state residuated lattices
• State filters in state residuated lattices
• On state residuated lattices
• Some properties of state filters in state residuated lattices.

Cites work

• An investigation on Boolean prime filters in BL-algebras
• Generalized state operators on residuated lattices
• Going up and lying over in congruence-modular algebras
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• MV-algebras with internal states and probabilistic fuzzy logics
• On pseudo BL-algebras with internal state
• On residuated lattices with left and right internal state
• On some classes of state-morphism MV-algebras
• On state residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• State BL-algebras
• State filters in state residuated lattices
• State operators on generalizations of fuzzy structures
• State-morphism MV-algebras
• The going up and going down theorems in MV-algebras and abelian l-groups
• The going-up and going-down theorems in residuated lattices

Cited in

(5)

• The going-up and going-down theorems in residuated lattices
• Some properties of state filters in state residuated lattices.
• Simple, local and subdirectly irreducible state residuated lattices
• On state residuated lattices
• The prime state ideal theorem in state residuated lattices

This page was built for publication: Some classical theorems in state residuated lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014359)