Dag Prawitz on proofs and meaning

DOI10.1007/978-3-319-11041-7MaRDI QIDQ482472zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)