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

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