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 9 items.
- 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)
- Negative predication and distinctness (Q6043099) (← 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)
