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
From MaRDI portal
(Redirected from Publication:368791)
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
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
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
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)