Multiplicative linear logics and fibrations

DOI10.1016/S1571-0661(04)80567-XMaRDI QIDQ2842824zbMATH OpenFDO

Authors François Lamarche

Publication date 16 August 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80567-X

Mathematics Subject Classification ID

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) Categorical logic, topoi (03G30)

Recommendations

• Fibring of logics as a categorial construction
• scientific article; zbMATH DE number 7204444
• Categorical models of logical systems in the mathematical theory of programming
• scientific article; zbMATH DE number 4148062
• Implicative logics, Lambek systems and exponential multicategories

Cites work

• scientific article; zbMATH DE number 3989612 (Why is no real title available?)
• scientific article; zbMATH DE number 3512374 (Why is no real title available?)
• scientific article; zbMATH DE number 517016 (Why is no real title available?)
• scientific article; zbMATH DE number 515728 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 1111371 (Why is no real title available?)
• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• scientific article; zbMATH DE number 3442061 (Why is no real title available?)
• scientific article; zbMATH DE number 1863399 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3384257 (Why is no real title available?)
• scientific article; zbMATH DE number 3384258 (Why is no real title available?)
• scientific article; zbMATH DE number 970691 (Why is no real title available?)
• Algebra of proofs
• Categorical logic and type theory
• Classical non-associative Lambek calculus
• Closed categories and the theory of proofs
• Equality of morphism and coherence theorem for biclosed categories
• Introduction to linear bicategories
• Linear logic
• Non-commutative logic II: sequent calculus and phase semantics
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Proof nets for the multimodal Lambek calculus
• Quantales and (noncommutative) linear logic
• Representable multicategories
• Substructural logics on display
• The geometry of iterated loop spaces
• The logic of linear functors
• The structure of free closed categories
• Une théorie combinatoire des séries formelles
• *-autonomous categories of bimodules

Cited in

(5)

• A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
• Constructing Fully Complete Models of Multiplicative Linear Logic
• scientific article; zbMATH DE number 500952 (Why is no real title available?)
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Acyclicity and Coherence in Multiplicative Exponential Linear Logic

This page was built for publication: Multiplicative linear logics and fibrations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842824)