Subdirectly irreducible residuated semilattices and positive universal classes

DOI10.1007/S11225-006-8310-8zbMath1101.06009OpenAlexW2077675813MaRDI QIDQ2433107

Jeffrey S. Olson

Publication date: 27 October 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-8310-8

zbMATH Keywords

contractionlinear logicsubdirectly irreducible algebrasresiduated latticespositive universal formulas

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subdirect products and subdirect irreducibility (08B26)

Related Items (4)

Representable idempotent commutative residuated lattices ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Idempotent residuated structures: Some category equivalences and their applications

Cites Work

• Unnamed Item
• Unnamed Item
• Equational bases for joins of residuated-lattice varieties
• Rule separation and embedding theorems for logics without weakening
• From semirings to residuated Kleene lattices
• On the structure of varieties with equationally definable principal congruences. I
• On the structure of hoops
• Conservative extension in relevant implication
• Representable idempotent commutative residuated lattices
• Logics without the contraction rule
• Algebraizable logics
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES

This page was built for publication: Subdirectly irreducible residuated semilattices and positive universal classes