Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Festschriften (00B30) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03)
Cited in
(8)- Diversification of object-languages for propositional logics
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
- Prawitz, Proofs, and Meaning
- Hypersequent and display calculi -- a unified perspective
- Proof, meaning and paradox: some remarks
- Dag Prawitz on proofs, operations and grounding
- General-elimination stability
This page was built for publication: Dag Prawitz on proofs and meaning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q482472)