Pages that link to "Item:Q5251195"

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)