Expanding the Realm of Systematic Proof Theory

DOI10.1007/978-3-642-04027-6_14MaRDI QIDQ3644747zbMATH OpenOpenAlexFDO

Authors Agata Ciabattoni, Lutz Straßburger, Kazushige Terui

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 theory in general (including proof-theoretic semantics) (03F03) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Algebraic proof theory for substructural logics: cut-elimination and completions
• Proof analysis in non-classical logics
• Algebraic proof theory: hypersequents and hypercompletions
• scientific article; zbMATH DE number 956466
• Hypersequent and display calculi -- a unified perspective

Cites work

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

Cited in

(12)

• Hypersequent and display calculi -- a unified perspective
• Algebraic proof theory for substructural logics: cut-elimination and completions
• THE LOGIC OF RESOURCES AND CAPABILITIES
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• Power and limits of structural display rules
• Disjunction property and complexity of substructural logics
• Proof analysis in intermediate logics
• Internal and external calculi: ordering the jungle without being lost in translations
• Analyticity with extra-logical information
• Defining logical systems via algebraic constraints on proofs
• Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
• Uniform proofs of standard completeness for extensions of first-order MTL

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

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