Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications

DOI10.1007/978-3-319-08587-6_23zbMath1425.03026OpenAlexW310781263MaRDI QIDQ3192201

Björn Lellmann

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_23

Mathematics Subject Classification ID

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

Related Items (8)

Power and Limits of Structural Display Rules ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Cut Elimination Theorem for Non-Commutative Hypersequent Calculus ⋮ Focused and Synthetic Nested Sequents ⋮ CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME

This page was built for publication: Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications