Hypersequent calculi for intuitionistic logic with classical atoms

DOI10.1016/j.apal.2009.07.013zbMath1221.03058OpenAlexW1963559850MaRDI 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

interpolationmodal logiccut eliminationdecidabilityintuitionistic logicdisjunction propertyhypersequentclassical atoms

Mathematics Subject Classification ID

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

Related Items (1)

The Complexity of Disjunction in Intuitionistic Logic

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Hypersequent calculi for intuitionistic logic with classical atoms