Some lattice models of bilinear logic

DOI10.1007/BF01181877zbMath0840.03044MaRDI QIDQ1906000

Joachim Lambek

Publication date: 23 January 1996

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

bilinear logicresiduated lattice-ordered monoidGrishin algebras

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Unnamed Item ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ Cover systems for the modalities of linear logic ⋮ Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ Nonsymmetric \(^{\ast}\)-autonomous categories ⋮ Should pregroup grammars be adorned with additional operations? ⋮ Unnamed Item ⋮ Lattice-ordered pregroups are semi-distributive ⋮ On Canonical Embeddings of Residuated Groupoids ⋮ Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups ⋮ Algebraic and Categorical Aspects of Quantales ⋮ Extensions of Lambek Calculi

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