Hypersequent calculi for intuitionistic logic with classical atoms

DOI10.1016/J.APAL.2009.07.013MaRDI QIDQ636282zbMATH OpenOpenAlexFDO

Authors 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

classical atomscut eliminationdecidabilitydisjunction propertyhypersequentinterpolationintuitionistic logicmodal logic

Mathematics Subject Classification ID

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

Recommendations

• Hypersequent Calculus 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
• Gentzen sequent calculi for some intuitionistic modal logics

Cites work

• A constructive analysis of RM
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic
• A short introduction to intuitionistic logic
• Completeness of global intuitionistic set theory
• Globalization of intuitionistic set theory
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 1140673 (Why is no real title available?)
• scientific article; zbMATH DE number 1950251 (Why is no real title available?)
• scientific article; zbMATH DE number 2038761 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 1538011 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• Hypersequent Calculi for Godel Logics -- a Survey
• Hypersequents, logical consequence and intermediate logics for concurrency
• Integrating classical and intuitionistic type theory
• Interpolation theorems for intuitionistic predicate logic
• Interval semantics for tense logic: Some remarks
• Logical constants as punctuation marks
• On some intuitionistic modal logics
• On the unity of logic
• Propositional mixed logic: its syntax and semantics
• Structural proof theory. With an appendix by Aarne Ranta
• The basic intuitionistic logic of proofs
• Two types of multiple-conclusion systems

Cited in

(7)

• The complexity of disjunction in intuitionistic logic
• Hypersequent Calculus for Intuitionistic Logic with Classical Atoms
• Intuitionistic predicate logic with decidable propositional atoms
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
• Another combination of classical and intuitionistic conditionals
• Sequent calculi and decidability for intuitionistic hybrid logic

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Hypersequent calculi 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 Q636282)