\(\bigstar\)-autonomous lattices
From MaRDI portal
Publication:1780899
DOI10.1007/s11225-005-2979-yzbMath1067.03066OpenAlexW4243241284MaRDI 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 logiclattice-ordered groupsubstructural logicsresiduated lattice\(\bigstar\)-autonomous lattice
Other algebras related to logic (03G25) Ordered groups (06F15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Varieties of lattices (06B20)
Related Items
The continuous weak order ⋮ Minimal varieties of involutive residuated lattices ⋮ \(\bigstar\)-autonomous lattices and fuzzy sets ⋮ A non commutative generalization of *-autonomous lattices ⋮ Compatibly involutive residuated lattices and the Nelson identity
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