Structural Extensions of Display Calculi: A General Recipe

DOI10.1007/978-3-642-39992-3_10zbMath1394.03069OpenAlexW996670586MaRDI QIDQ2849424

Revantha Ramanayake, Agata Ciabattoni

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

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

Related Items (6)

Power and Limits of Structural Display Rules ⋮ Linear Logic Properly Displayed ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Hypersequent and display calculi -- a unified perspective

This page was built for publication: Structural Extensions of Display Calculi: A General Recipe