Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic

DOI10.1007/978-3-642-02273-9_23zbMATH Open1246.03080OpenAlexW2134137673MaRDI QIDQ3637204

Lutz Straßburger

Publication date: 7 July 2009

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.3269

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A compact representation of proofs
• Natural deduction and coherence for weakly distributive categories
• The undecidability of \(k\)-provability
• The structure of multiplicatives
• MELL in the calculus of structures
• A Local System for Classical Logic
• Normalisation Control in Deep Inference via Atomic Flows
• A system of interaction and structure
• Computer Science Logic

Related Items (2)

Linear Lambda Calculus and Deep Inference ⋮ Deep inference and expansion trees for second-order multiplicative linear logic

This page was built for publication: Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic