\(\bigstar\)-autonomous lattices

DOI10.1007/s11225-005-2979-yzbMath1067.03066OpenAlexW4243241284MaRDI QIDQ1780899

Francesco Paoli

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

zbMATH Keywords

linear logiclattice-ordered groupsubstructural logicsresiduated lattice\(\bigstar\)-autonomous lattice

Mathematics Subject Classification ID

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