MELL in the calculus of structures

DOI10.1016/S0304-3975(03)00240-8zbMath1065.03042MaRDI QIDQ1884903

Lutz Straßburger

Publication date: 27 October 2004

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

zbMATH Keywords

cut elimination; linear logic; proof theory; calculus of structures

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

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

Related Items

Deep sequent systems for modal logic, System BV is NP-complete, The three dimensions of proofs, On structuring proof search for first order linear logic, Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

Uses Software

• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Forum: A multiple-conclusion specification logic
• Logic programming in a fragment of intuitionistic linear logic
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II
• Focussing and proof construction
• Uniform proofs as a foundation for logic programming
• A Local System for Classical Logic
• The Mathematics of Sentence Structure
• Logic Programming with Focusing Proofs in Linear Logic
• The mix rule
• Games and full completeness for multiplicative linear logic
• System NEL is Undecidable
• A system of interaction and structure