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

interpolationdecidabilityintuitionistic logicmodal logiccut eliminationdisjunction 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)

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

• 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?)
• 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
• 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)

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

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)