Structure theorems for idempotent residuated lattices

DOI10.1007/S00012-020-00659-5zbMath1481.06033arXiv2004.09553OpenAlexW3021152080MaRDI QIDQ2182567

José Gil-Férez, Peter Jipsen, George Metcalfe

Publication date: 26 May 2020

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

Full work available at URL: https://arxiv.org/abs/2004.09553

zbMATH Keywords

substructural logicslocal finitenessamalgamationresiduated latticesfinite embeddability property

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (8)

Group representation for even and odd involutive commutative residuated chains ⋮ Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests ⋮ Uninorms internal on one or more non-trivial cuts ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ The structure of locally integral involutive po-monoids and semirings ⋮ Semilinear idempotent distributive \(\ell\)-monoids ⋮ Unary-determined distributive \(\ell \)-magmas and bunched implication algebras ⋮ The structure of finite commutative idempotent involutive residuated lattices

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• The subvariety lattice for representable idempotent commutative residuated lattices
• Conical residuated lattice-ordered idempotent monoids
• Residuated lattices. An algebraic glimpse at substructural logics
• Substructural logics with mingle
• A category equivalence for odd Sugihara monoids and its applications
• Amalgamation and interpolation in ordered algebras.
• Variety generated by conical residuated lattice-ordered idempotent monoids
• Quasitrivial semigroups: characterizations and enumerations
• Congruence properties in congruence permutable and in ideal determined varieties, with applications.
• On closed elements in closure algebras
• THE STRUCTURE OF RESIDUATED LATTICES
• The structure of idempotent residuated chains
• Craig interpolation for semilinear substructural logics
• The finite model property for knotted extensions of propositional linear logic
• Representable idempotent commutative residuated lattices
• Commutative idempotent residuated lattices
• Idempotent residuated structures: Some category equivalences and their applications
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: Structure theorems for idempotent residuated lattices