Some lattice models of bilinear logic
From MaRDI portal
Publication:1906000
DOI10.1007/BF01181877zbMath0840.03044MaRDI QIDQ1906000
Publication date: 23 January 1996
Published in: Algebra Universalis (Search for Journal in Brave)
03G10: Logical aspects of lattices and related structures
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Unnamed Item, Unnamed Item, Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups, Nonsymmetric \(^{\ast}\)-autonomous categories, Should pregroup grammars be adorned with additional operations?, Algebraic and Categorical Aspects of Quantales
Cites Work
- Linear logic
- Some Galois connections in elementary number theory
- The Mathematics of Sentence Structure
- Quantales and (noncommutative) linear logic
- A Completeness Theorem for the Lambek Calculus of Syntactic Categories
- Completeness Results for Lambek Syntactic Calculus
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Metric spaces, generalized logic, and closed categories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item