Combining first-order classical and intuitionistic logic
type: Item
instance of: scholarly article
title: Combining first-order classical and intuitionistic logic
author: Q6058201
author: Katsuhiko Sano
publication date: 2025-01-09T00:00:00Z
Mathematics Subject Classification ID: 03Bxx
zbMATH DE Number: 7964350
MaRDI profile type: Publication
cites work: Combining Classical and Intuitionistic Implications
cites work: Q4385438
cites work: Q4636288
cites work: Quantification in nonclassical logic. Volume I.
cites work: Typed Lambda Calculi and Applications
cites work: Interval semantics for tense logic: Some remarks
cites work: Subintuitionistic logics and the implications they prove
cites work: Subintuitionistic logics with Kripke semantics
cites work: Q4518866
cites work: Eine Darstellung der Intuitionistischen Logik in der Klassischen
cites work: Q5736158
cites work: A short introduction to intuitionistic logic
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Proof theory and algebra in logic
cites work: Logics without the contraction rule
cites work: An ecumenical notion of entailment
cites work: Q3119349
cites work: Subintuitionistic logics
DOI: 10.4204/EPTCS.358.3
description: scientific article; zbMATH DE number 7964350