The following pages link to Dag Prawitz on proofs and meaning (Q482472):
Displaying 5 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)
