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

intuitionistic logicproof-theoretic semanticsKripke semanticsincompletenesslogical constantsgeneral proof theoryPrawitz's conjecture

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

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• 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
• 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

(17)

• Expressive power and incompleteness of propositional logics
• General proof theory: introduction
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Proof-theoretic semantics and inquisitive logic
• Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
• Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
• Natural deduction bottom up
• Negative predication and distinctness
• Calculi of epistemic grounding based on Prawitz's theory of grounds
• Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
• Towards a Semantics of Unsatisfiability Proofs with Inprocessing
• Proof-theoretic semantics: an autobiographical survey
• Comments on the contributions
• Completeness in Proof-Theoretic Semantics
• scientific article; zbMATH DE number 3639591 (Why is no real title available?)
• The incompleteness of Misra and Chandy's proof systems
• Proof-theoretic semantics for intuitionistic multiplicative linear logic

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)