THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES

DOI10.1142/S0218196702001048zbMath1011.06006OpenAlexW2057821078MaRDI QIDQ4786332

Lori Rafter, Constantine Tsinakis, James B. Hart

Publication date: 15 December 2002

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

Full work available at URL: https://doi.org/10.1142/s0218196702001048

zbMATH Keywords

congruencesvarietycongruence latticeequational basiscommutative residuated latticeorder-convex subalgebras

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Lattice ideals, congruence relations (06B10) Varieties of lattices (06B20)

Related Items (51)

A new approach for classification of filters in residuated lattices ⋮ Representable idempotent commutative residuated lattices ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ Fuzzy equivalence relations and their equivalence classes ⋮ Twist structures and Nelson conuclei ⋮ Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras ⋮ The proof by cases property and its variants in structural consequence relations ⋮ Fuzzy logics based on \([0,1)\)-continuous uninorms ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Variety generated by conical residuated lattice-ordered idempotent monoids ⋮ MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Varieties of K-lattices ⋮ Varieties of bounded K-lattices ⋮ Characterization of extended filters in residuated lattices ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ 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 ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ The subvariety lattice for representable idempotent commutative residuated lattices ⋮ Derivations of commutative residuated lattices ⋮ Density elimination ⋮ Generalized state operators on residuated lattices ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Generalized MV-algebras ⋮ Strong NMV-algebras, commutative basic algebras and naBL-algebras ⋮ \(\bigstar\)-autonomous lattices ⋮ FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES ⋮ Conical residuated lattice-ordered idempotent monoids ⋮ Commutative idempotent residuated lattices ⋮ Modal operators on commutative residuated lattices ⋮ Archimedean classes in integral commutative residuated chains ⋮ Logical vs. behavioural specifications ⋮ Residuated structures and orthomodular lattices ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Compatible operations on commutative residuated lattices ⋮ Fuzzy modal-like approximation operators based on double residuated lattices ⋮ Correspondences between gentzen and hilbert systems ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Semiconic idempotent residuated structures ⋮ Compatible operations on commutative weak residuated lattices ⋮ Nilpotency and the Hamiltonian property for cancellative residuated lattices ⋮ On relative principal congruences in term quasivarieties

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

This page was built for publication: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES