Hypersequent calculi for intuitionistic logic with classical atoms

DOI10.1016/J.APAL.2009.07.013zbMATH Open1221.03058OpenAlexW1963559850MaRDI QIDQ636282FDOQ636282

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

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

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)

Cites Work

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

Cited In (6)

• 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
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation

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)