The following pages link to Dag Prawitz on proofs and meaning (Q482472):
Displaying 8 items.
- General-elimination stability (Q526738) (← links)
- Diversification of object-languages for propositional logics (Q1711508) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics (Q2121478) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Dag Prawitz on proofs, operations and grounding (Q2288275) (← links)
- Proof, meaning and paradox: some remarks (Q2288280) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)