Expanding the Realm of Systematic Proof Theory

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

Kazushige Terui, Agata Ciabattoni, 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

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

03F03: Proof theory in general (including proof-theoretic semantics)

Related Items

Algebraic proof theory for substructural logics: cut-elimination and completions, Disjunction property and complexity of substructural logics, Proof analysis in intermediate logics, Hypersequent and display calculi -- a unified perspective

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