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-0MaRDI QIDQ368791zbMATH OpenOpenAlexWikidataFDO

Authors

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) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 3275554
• Automated deduction -- CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27--30, 2019. Proceedings
• Natural derivations for Priest, an introduction to non-classical logic
• On natural deduction in dependence logic
• Natural deduction for Post's logics and their duals
• Publication:4943267
• scientific article; zbMATH DE number 7594174
• Presentation of proofs in modal natural deduction
• Advances in Contemporary Logic and Computer Science
• scientific article; zbMATH DE number 3902624

Cited in

(2)

• Prawitz, Proofs, and Meaning
• Linear exponential comonads without symmetry

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q368791)