\(\bigstar\)-autonomous lattices
From MaRDI portal
Publication:1780899
DOI10.1007/s11225-005-2979-yzbMath1067.03066MaRDI QIDQ1780899
Publication date: 14 June 2005
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-005-2979-y
linear logic; lattice-ordered group; substructural logics; residuated lattice; \(\bigstar\)-autonomous lattice
03G25: Other algebras related to logic
06F15: Ordered groups
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
06B20: Varieties of lattices
Related Items
Minimal varieties of involutive residuated lattices, \(\bigstar\)-autonomous lattices and fuzzy sets, A non commutative generalization of *-autonomous lattices
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- The semantics and proof theory of linear logic
- On the structure of varieties with equationally definable principal congruences. III
- A really fuzzy approach to the sorites paradox
- Substructural logics: a primer
- On the algebraic structure of linear, relevance, and fuzzy logics
- Minimal varieties of residuated lattices
- THE STRUCTURE OF RESIDUATED LATTICES
- Algebraic Analysis of Many Valued Logics
- Quantales and (noncommutative) linear logic
- PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
- Some Properties of Linear Logic Proved by Semantic Methods
- THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
- TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM