Hypersequent calculi for intuitionistic logic with classical atoms

DOI10.1016/j.apal.2009.07.013zbMath1221.03058MaRDI QIDQ636282

Hidenori Kurokawa

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.013

zbMATH Keywords

interpolation; modal logic; cut elimination; decidability; intuitionistic logic; disjunction property; hypersequent; classical atoms

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03F05: Cut-elimination and normal-form theorems

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

The Complexity of Disjunction in Intuitionistic Logic

Uses Software

• Pesca

Cites Work

• Integrating classical and intuitionistic type theory
• Logical constants as punctuation marks
• On the unity of logic
• Globalization of intuitionistic set theory
• On some intuitionistic modal logics
• Interval semantics for tense logic: Some remarks
• Hypersequents, logical consequence and intermediate logics for concurrency
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic
• Propositional mixed logic: its syntax and semantics
• A constructive analysis of RM
• Two types of multiple-conclusion systems
• Completeness of global intuitionistic set theory
• Hypersequent Calculi for Godel Logics -- a Survey
• The basic intuitionistic logic of proofs
• Interpolation theorems for intuitionistic predicate logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item