Structural extensions of display calculi: a general recipe

DOI10.1007/978-3-642-39992-3_10MaRDI QIDQ2849424zbMATH OpenOpenAlexFDO

Authors Agata Ciabattoni, Revantha Ramanayake

Publication date 17 September 2013

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39992-3_10

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Power and limits of structural display rules
• scientific article; zbMATH DE number 1086668
• scientific article; zbMATH DE number 1341474
• Disentangling structural connectives or life without display property
• Displaying and deciding substructural logics. I: Logics with contraposition

Cited in

(12)

• Displaying and deciding substructural logics. I: Logics with contraposition
• Display calculi for logics with relative accessibility relations
• Hypersequent and display calculi -- a unified perspective
• Disentangling structural connectives or life without display property
• Tools for the investigation of substructural and paraconsistent logics
• Hypersequent rules with restricted contexts for propositional modal logics
• scientific article; zbMATH DE number 1086668 (Why is no real title available?)
• Power and limits of structural display rules
• LINEAR TIME IN HYPERSEQUENT FRAMEWORK
• scientific article; zbMATH DE number 970627 (Why is no real title available?)
• Linear Logic Properly Displayed
• Display calculi and other modal calculi: a comparison

This page was built for publication: Structural extensions of display calculi: a general recipe

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