Pages that link to "Item:Q5251195"
From MaRDI portal
The following pages link to An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited (Q5251195):
Displayed 7 items.
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics (Q2631650) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)