Multiplicative Linear Logics and Fibrations

DOI10.1016/S1571-0661(04)80567-XzbMath1270.03044MaRDI QIDQ2842824

François Lamarche

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Coherence in SMCCs and equivalences on derivations in IMML with unit

Cites Work

• Linear logic
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Algebra of proofs
• The structure of free closed categories
• Closed categories and the theory of proofs
• Une théorie combinatoire des séries formelles
• Categorical logic and type theory
• \(*\)-autonomous categories of bimodules
• Representable multicategories
• Equality of morphism and coherence theorem for biclosed categories
• Classical non-associative Lambek calculus
• Proof nets for the multimodal Lambek calculus
• The geometry of iterated loop spaces
• Quantales and (noncommutative) linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Substructural logics on display
• Introduction to linear bicategories
• Non-commutative logic II: sequent calculus and phase semantics
• The logic of linear functors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multiplicative Linear Logics and Fibrations