Hypersequent Calculus for Intuitionistic Logic with Classical Atoms

DOI10.1007/978-3-540-72734-7_23zbMath1133.03031OpenAlexW1502488001MaRDI QIDQ5434517

Hidenori Kurokawa

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_23

Mathematics Subject Classification ID

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

Related Items

Linear Nested Sequents, 2-Sequents and Hypersequents

Uses Software

• Pesca