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

03G30: Categorical logic, topoi

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

Coherence in SMCCs and equivalences on derivations in IMML with unit

Cites Work

• 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
• 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