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):
Displaying 12 items.
- On Dummett's verificationist justification procedure (Q516329) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← 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)
- (Q3770527) (← links)
- (Q3970572) (← links)
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
- On Dummett's pragmatist justification procedure (Q6652859) (← links)