Author:
Piccolomini dÁragona Antonio
Publisher
Springer International Publishing
Reference40 articles.
1. Prawitz, D. (1971). Ideas and results in proof theory, in J. Fenstad (Ed.), Proceedings of the Second Scandinavian Logic Symposium. Amsterdam: North-Holland (pp. 235–308)
2. Prawitz, D. (1973). Towards a foundation of a general proof-theory, in P. Suppes (Ed.), Logic methodology and philosophy of science IV (pp. 225–250). Amsterdam: North-Holland Publishing Company
3. Prawitz, D. (1977). Meaning and proofs: on the conflict between classical and intuitionistic logic. Theoria, 43(1), 2–40.
4. Prawitz, D. (2005). Logical consequence from a constructivist point of view, in S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic (pp. 671–695). Oxford: Oxford University Press.
5. Prawitz, D. (2006). Natural deduction. A proof theoretical study. New York: Dover Publications.