Failure of completeness in proof-theoretic semantics

DOI10.1007/s10992-014-9322-xzbMath1326.03068OpenAlexW2065329989MaRDI QIDQ2516584

Peter Schroeder-Heister, Thomas Piecha, Wagner de Campos Sanz

Publication date: 3 August 2015

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-014-9322-x

zbMATH Keywords

completenessintuitionistic logicproof-theoretic semanticsHarrop's ruleMints's rule

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (8)

Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics ⋮ Calculi of epistemic grounding based on Prawitz's theory of grounds ⋮ Negative predication and distinctness ⋮ Proof-theoretic semantics and inquisitive logic ⋮ On Dummett's verificationist justification procedure ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial inductive definitions
• On the idea of a general proof theory
• Derivability of admissible rules
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• On the proof-theoretic foundation of general definition theory
• Validity concepts in proof-theoretic semantics
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES
• A natural extension of natural deduction
• Base-extension semantics for intuitionistic sentential logic
• Classical logic without bivalence
• On an inferential semantics for classical logic
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited
• A Critical Remark on the BHK Interpretation of Implication
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”

This page was built for publication: Failure of completeness in proof-theoretic semantics