Minimal varieties of residuated lattices

DOI10.1007/S00012-004-1870-4zbMath1082.06011OpenAlexW2156760583MaRDI QIDQ2577691

Nikolaos Galatos

Publication date: 6 January 2006

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-004-1870-4

zbMATH Keywords

atomslattice of subvarieties of residuated lattices

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05)

Related Items (37)

Representable idempotent commutative residuated lattices ⋮ Minimum proper extensions in some lattices of subalgebras ⋮ Group representation for even and odd involutive commutative residuated chains ⋮ Cancellative residuated lattices arising on 2-generated submonoids of natural numbers ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator ⋮ Minimal varieties of representable commutative residuated lattices ⋮ Varieties of K-lattices ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Gluing residuated lattices ⋮ Semilinear idempotent distributive \(\ell\)-monoids ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Minimal varieties of involutive residuated lattices ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Involutive residuated lattices based on modular and distributive lattices. ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ The subvariety lattice for representable idempotent commutative residuated lattices ⋮ On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. ⋮ Generalized MV-algebras ⋮ \(\bigstar\)-autonomous lattices ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Semiconic idempotent logic. I: Structure and local deduction theorems. ⋮ The structure of idempotent residuated chains ⋮ Conical residuated lattice-ordered idempotent monoids ⋮ Commutative idempotent residuated lattices ⋮ Almost minimal varieties of commutative residuated lattices ⋮ Semiconic idempotent logic. II: Beth definability and deductive interpolation ⋮ Equivalence of consequence relations: an order-theoretic and categorical perspective ⋮ A topological approach to MTL-algebras ⋮ A short note on divisible residuated semilattices ⋮ Glivenko theorems for substructural logics over FL ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Semiconic idempotent residuated structures ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

This page was built for publication: Minimal varieties of residuated lattices