A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
type: Item
instance of: scholarly article
title: A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
zbMATH Open document ID: 1542.03033
DOI: 10.1007/978-3-031-43977-3_7
author: Q6058201
publication date: 2024-06-21T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B62
Mathematics Subject Classification ID: 03F03
zbMATH DE Number: 7869818
zbMATH Keywords: sequent calculus
zbMATH Keywords: combination of logics
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: classical logic
zbMATH Keywords: semantic completeness
zbMATH Keywords: bilateralism
MaRDI profile type: Publication
cites work: Negation as a sign of negative judgment
cites work: Modal logic
cites work: Combining Classical and Intuitionistic Implications
cites work: Logic and structure
cites work: Q4636288
cites work: Q4636036
cites work: Q4385438
cites work: Q3119364
cites work: Interval semantics for tense logic: Some remarks
cites work: The revival of rejective negation
cites work: ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
cites work: Kripke semantics and proof systems for combining intuitionistic logic and classical logic
cites work: Q4518866
cites work: Eine Darstellung der Intuitionistischen Logik in der Klassischen
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: A note on Humberstone's constant Ω
cites work: Another combination of classical and intuitionistic conditionals
cites work: Semantical Approach to Cut Elimination and Subformula Property in Modal Logic
cites work: Q5884967
cites work: Generic Modal Cut Elimination Applied to Conditional Logics
cites work: Meaning as an inferential role
cites work: An ecumenical notion of entailment
cites work: Meaning approached via proofs
cites work: Q3119349
cites work: Q5483305
cites work: Truth values and proof theory
cites work: Anything goes
cites work: Validity concepts in proof-theoretic semantics
cites work: Rejection
cites work: Why conclusions should remain single
cites work: Q4443189
cites work: A semantical analysis of cut-free calculi for modal logics
cites work: Combining first-order classical and intuitionistic logic
description: scientific article; zbMATH DE number 7869818