A heuristic procedure for natural deduction derivations using reductio ad absurdum
Notre Dame Journal of Formal Logic 17 (4):638-639 (1976)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,882 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesNicholas Rescher, Reductio Ad Absurdum. Internet Encyclopedia of Philosophy.
Mirjana Borisavljevi (2008). Normal Derivations and Sequent Derivations. Journal of Philosophical Logic 37 (6).
Göran Sundholm (2006). Semantic Values for Natural Deduction Derivations. Synthese 148 (3):623 - 638.
Sara Negri & Jan von Plato (2001). Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic 66 (4):1803-1816.
Ross Thomas Brady (forthcoming). Free Semantics. Journal of Philosophical Logic.
William P. Bechtel (1994). Natural Deduction in Connectionist Systems. Synthese 101 (3):433-463.
Jan von Plato (2012). Gentzen's Proof Systems: Byproducts in a Work of Genius. Bulletin of Symbolic Logic 18 (3):313-367.
Paul Foulkes (1973). The Form of Reductio Ad Absurdum. Mind 82 (328):579-580.
Charles H. Lambros (1973). Scherer on Reductio Ad Absurdum. Mind 82 (328):581-585.
Donald Scherer (1971). The Form of Reductio Ad Absurdum. Mind 80 (318):247-252.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
