Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics

DOI10.1007/S11225-018-9823-7MaRDI QIDQ2631650zbMATH OpenOpenAlexFDO

Authors Thomas Piecha, Peter Schroeder-Heister

Publication date 15 May 2019

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-018-9823-7

zbMATH Keywords

general proof theoryincompletenessintuitionistic logicKripke semanticslogical constantsPrawitz's conjectureproof-theoretic semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Completeness in Proof-Theoretic Semantics
• Failure of completeness in proof-theoretic semantics
• Completeness and incompleteness for intuitionistic logic
• Proof-theoretic semantics and inquisitive logic
• Intuitionistic completeness and classical logic

Cites work

• Advances in proof-theoretic semantics
• An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited
• Completeness in Proof-Theoretic Semantics
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• Failure of completeness in proof-theoretic semantics
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
• On the admissible rules of intuitionistic propositional logic
• The definitional view of atomic systems in proof-theoretic semantics

Cited in

(27)

• The incompleteness of Misra and Chandy's proof systems
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Calculi of epistemic grounding based on Prawitz's theory of grounds
• Natural deduction bottom up
• Proof-theoretic semantics and inquisitive logic
• General proof theory: introduction
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)
• Towards a Semantics of Unsatisfiability Proofs with Inprocessing
• Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
• Completeness in Proof-Theoretic Semantics
• Negative predication and distinctness
• Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Proof-theoretic semantics: an autobiographical survey
• Comments on the contributions
• Inferentialist resource semantics
• The proof-theoretic square
• Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
• A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
• Proof-theoretic semantics for first-order logic
• Intensionality of consequence and identity of proofs in Prawitz's theory of grounds
• Categorical proof-theoretic semantics
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Classical logic, uniformity, and weak excluded middle in non-monotonic proof-theoretic semantics
• From proof-theoretic validity to base-extension semantics for intuitionistic propositional logic
• Expressive power and incompleteness of propositional logics

This page was built for publication: Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631650)