Hypersequent Calculus for Intuitionistic Logic with Classical Atoms

DOI10.1007/978-3-540-72734-7_23MaRDI QIDQ5434517zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Hypersequent calculi for intuitionistic logic with classical atoms
• Intuitionistic predicate logic with decidable propositional atoms
• Sequent calculi and decidability for intuitionistic hybrid logic
• scientific article; zbMATH DE number 1140673
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic

Cited in

(3)

• Linear Nested Sequents, 2-Sequents and Hypersequents
• Intuitionistic predicate logic with decidable propositional atoms
• Hypersequent calculi for intuitionistic logic with classical atoms

Describes a project that uses

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)