Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001

DOI10.1007/978-94-007-7548-0zbMath1286.03010OpenAlexW2500397174WikidataQ56994462 ScholiaQ56994462MaRDI QIDQ368791

No author found.

Publication date: 23 September 2013

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Classical propositional logic (03B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Related Items (2)

Linear Exponential Comonads without Symmetry ⋮ Prawitz, Proofs, and Meaning

This page was built for publication: Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001