THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES

DOI10.1142/S0218196702001048zbMath1011.06006MaRDI QIDQ4786332

Constantine Tsinakis, James B. Hart, Lori Rafter

Publication date: 15 December 2002

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

zbMATH Keywords

congruences; variety; congruence lattice; equational basis; commutative residuated lattice; order-convex subalgebras

Mathematics Subject Classification ID

06B05: Structure theory of lattices

06B10: Lattice ideals, congruence relations

06B20: Varieties of lattices

Related Items

Conical residuated lattice-ordered idempotent monoids, Representation theorems for some fuzzy logics based on residuated non-distributive lattices, Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras, Fuzzy logics based on \([0,1)\)-continuous uninorms, Constructive logic with strong negation is a substructural logic. I, Density elimination, Semiconic idempotent residuated structures, Generalized MV-algebras, \(\bigstar\)-autonomous lattices, Fuzzy equivalence relations and their equivalence classes, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Subdirectly irreducible residuated semilattices and positive universal classes, Minimal varieties of involutive residuated lattices, Correspondences between gentzen and hilbert systems, Representable idempotent commutative residuated lattices, ASSERTIONALLY EQUIVALENT QUASIVARIETIES, Residuated Structures, Concentric Sums and Finiteness Conditions, FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES, Commutative idempotent residuated lattices, Archimedean classes in integral commutative residuated chains, Compatible operations on commutative residuated lattices, Fuzzy modal-like approximation operators based on double residuated lattices

Cites Work

• Finite-valued algebraic lattices
• Residuation in structures over which a multiplication is defined
• Structure residuation
• Decompositions for Relatively Normal Lattices
• The general form of residuated algebraic structures
• Logic with truth values in A linearly ordered heyting algebra
• Loipomorphisms
• Residuated Lattices
• Abstract residuation over lattices