Pages that link to "Item:Q2516584"
From MaRDI portal
The following pages link to Failure of completeness in proof-theoretic semantics (Q2516584):
Displaying 11 items.
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← 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)
- Proof-theoretic semantics and inquisitive logic (Q2240552) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics (Q2631650) (← 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)
- On Dummett's pragmatist justification procedure (Q6652859) (← links)
