Hypersequent and Labelled Calculi for Intermediate Logics

DOI10.1007/978-3-642-40537-2_9zbMath1401.03056OpenAlexW5662646MaRDI QIDQ2851936

Agata Ciabattoni, Lara Spendier, Paolo Maffezioli

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40537-2_9

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (7)

From axioms to synthetic inference rules via focusing ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ Compositional meaning in logic ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Hyper-MacNeille completions of Heyting algebras

This page was built for publication: Hypersequent and Labelled Calculi for Intermediate Logics