Subdirectly irreducible residuated semilattices and positive universal classes
From MaRDI portal
Publication:2433107
DOI10.1007/s11225-006-8310-8zbMath1101.06009OpenAlexW2077675813MaRDI QIDQ2433107
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
contractionlinear logicsubdirectly irreducible algebrasresiduated latticespositive universal formulas
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
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