Bounded Sequent Calculi for Non-classical Logics via Hypersequents

Agata Ciabattoni*, Timo Lang, Revantha Ramanayake

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)


Using substructural and modal logics as case studies, a uniform method is presented for transforming cut-free hypersequent proofs into sequent calculus proofs satisfying relaxations of the subformula property. As a corollary we prove decidability for a large class of commutative substructural logics with contraction and mingle, and get a simple syntactic proof of a well known result: the sequent calculus for
Original languageEnglish
Title of host publicationAutomated Reasoning with Analytic Tableaux and Related Methods
EditorsSerenella Cerrito, Andrei Popescu
Number of pages17
ISBN (Electronic)978-3-030-29026-9
ISBN (Print)978-3-030-29025-2
Publication statusPublished - 2019
Externally publishedYes
Event28th International Conference, TABLEAUX 2019 - London, United Kingdom
Duration: 3-Sept-20195-Sept-2019


Conference28th International Conference, TABLEAUX 2019
Country/TerritoryUnited Kingdom

Cite this