A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic

DOI10.1016/S0304-3975(01)00178-5MaRDI QIDQ1398479zbMATH OpenOpenAlexFDO

Authors Misao Nagayama, Mitsuhiro Okada

Publication date 29 July 2003

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

Full work available at URL https://doi.org/10.1016/s0304-3975(01)00178-5

zbMATH Keywords

Danos-Regnier graph drawinglinear logicnoncommutative logicplanar graphproof netsequentialization theorem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1231525
• scientific article; zbMATH DE number 1114352
• Non-commutative logic. I: The multiplicative fragment
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
• scientific article; zbMATH DE number 2134917
• On noncommutative extensions of linear logic
• Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
• Geometrical semantics for linear logic (multiplicative fragment)
• Multiplicative linear logics and fibrations
• A correspondence between maximal abelian sub-algebras and linear logic fragments

Cites work

• scientific article; zbMATH DE number 1231525 (Why is no real title available?)
• scientific article; zbMATH DE number 786497 (Why is no real title available?)
• Interpolation in fragments of classical linear logic
• Linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Proof Nets for Lambek Calculus
• Quantales and (noncommutative) linear logic
• The Mathematics of Sentence Structure
• The structure of multiplicatives

Cited in

(7)

• Planar and braided proof-nets for multiplicative linear logic with mix
• Sequentialization for n-graphs via sub-n-graphs
• scientific article; zbMATH DE number 1231525 (Why is no real title available?)
• scientific article; zbMATH DE number 2134917 (Why is no real title available?)
• Coherent interaction graphs
• scientific article; zbMATH DE number 7204441 (Why is no real title available?)
• Logic beyond formulas: a proof system on graphs

This page was built for publication: A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic

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