Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
From MaRDI portal
Publication:2631650
DOI10.1007/S11225-018-9823-7OpenAlexW2888307280MaRDI QIDQ2631650FDOQ2631650
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
Recommendations
intuitionistic logicproof-theoretic semanticsKripke semanticsincompletenesslogical constantsgeneral proof theoryPrawitz's conjecture
Cites Work
- On the admissible rules of intuitionistic propositional logic
- Advances in proof-theoretic semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
- Failure of completeness 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
- The definitional view of atomic systems in proof-theoretic semantics
- On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
Cited In (16)
- General proof theory: introduction
- Expressive power and incompleteness of propositional logics
- 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
- Title not available (Why is that?)
- 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)
