Hypersequent Calculus for Intuitionistic Logic with Classical Atoms

DOI10.1007/978-3-540-72734-7_23zbMATH Open1133.03031OpenAlexW1502488001MaRDI QIDQ5434517FDOQ5434517

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)

Cited In (1)

• Linear Nested Sequents, 2-Sequents and Hypersequents

Uses Software

• Pesca

This page was built for publication: Hypersequent Calculus for Intuitionistic Logic with Classical Atoms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434517)