Expanding the Realm of Systematic Proof Theory

DOI10.1007/978-3-642-04027-6_14zbMath1257.03084OpenAlexW2244976569MaRDI QIDQ3644747

Agata Ciabattoni, Kazushige Terui, Lutz Straßburger

Publication date: 12 November 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-04027-6_14

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (8)

Power and Limits of Structural Display Rules ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Proof analysis in intermediate logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Disjunction property and complexity of substructural logics ⋮ Unnamed Item ⋮ Uniform proofs of standard completeness for extensions of first-order MTL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Forum: A multiple-conclusion specification logic
• Proof analysis in modal logic
• Axiomatic extensions of IMT3 logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Stability of the Blok theorem
• Hypersequents, logical consequence and intermediate logics for concurrency
• Finite products are biproducts in a compact closed category
• Proof Theory for Casari's Comparative Logics
• Some Syntactical Observations on Linear Logic
• Logic Programming with Focusing Proofs in Linear Logic
• Polycategories
• Basic logic: reflection, symmetry, visibility
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Which structural rules admit cut elimination? An algebraic criterion

This page was built for publication: Expanding the Realm of Systematic Proof Theory