Dag Prawitz on proofs and meaning

DOI10.1007/978-3-319-11041-7zbMath1304.03008OpenAlexW1479659231MaRDI QIDQ482472

No author found.

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

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics ⋮ Diversification of object-languages for propositional logics ⋮ General-elimination stability ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity

This page was built for publication: Dag Prawitz on proofs and meaning