Dag Prawitz on proofs and meaning
DOI10.1007/978-3-319-11041-7zbMATH Open1304.03008OpenAlexW1479659231MaRDI QIDQ482472FDOQ482472
Authors:
Publication date: 30 December 2014
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-11041-7
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
- Prawitz, Proofs, and Meaning
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
- Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics
- 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)
