Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
type: Item
instance of: scholarly article
title: Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
author: Q6058201
author: Katsuhiko Sano
published in: Studia Logica
publication date: 2024-11-12T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7942287
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: classical logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: combined system
zbMATH Keywords: cut elimination
zbMATH Keywords: Craig interpolation
zbMATH Keywords: decidability
MaRDI profile type: Publication
cites work: Interval semantics for tense logic: Some remarks
cites work: Q4385438
cites work: Combining Classical and Intuitionistic Implications
cites work: Hypersequent calculi for intuitionistic logic with classical atoms
cites work: A focused approach to combining logics
cites work: Kripke semantics and proof systems for combining intuitionistic logic and classical logic
cites work: Q4636288
cites work: Q3119349
cites work: Q3119364
cites work: A note on Humberstone's constant Ω
cites work: Another combination of classical and intuitionistic conditionals
cites work: Some Axioms for Mathematics
cites work: Q4636036
cites work: Q4518866
cites work: Eine Darstellung der Intuitionistischen Logik in der Klassischen
cites work: Q5736158
cites work: Basic conditional logic
cites work: Subintuitionistic logics
cites work: Logic and structure
cites work: Sequent Calculi for Some Strict Implication Logics
cites work: Proof theory and algebra in logic
cites work: Logics without the contraction rule
cites work: Q4699355
cites work: Der Interpolationssatz der intuitionistischen Prädikatenlogik
cites work: Interpolation theorems for intuitionistic predicate logic
cites work: ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
cites work: Q3247119
cites work: Q3939274
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Undefinability of propositional quantifiers in the modal system S4
cites work: Q3331199
cites work: Proof methods for modal and intuitionistic logics
cites work: Lyndon’s interpolation property for the logic of strict implication
cites work: Combining first-order classical and intuitionistic logic
DOI: 10.1007/S11225-023-10067-0
description: scientific article; zbMATH DE number 7942287