Pages that link to "Item:Q2631650"
From MaRDI portal
The following pages link to Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics (Q2631650):
Displaying 16 items.
- Expressive power and incompleteness of propositional logics (Q965859) (← links)
- The incompleteness of Misra and Chandy's proof systems (Q1064051) (← links)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) (← links)
- Natural deduction bottom up (Q2236507) (← links)
- Proof-theoretic semantics and inquisitive logic (Q2240552) (← links)
- General proof theory: introduction (Q2631640) (← links)
- (Q4198476) (← links)
- Towards a Semantics of Unsatisfiability Proofs with Inprocessing (Q4645727) (← links)
- Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic (Q5121273) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic (Q6058202) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Comments on the contributions (Q6612881) (← links)