A note on natural deduction
Notre Dame Journal of Formal Logic 15 (2):349-350 (1974)
| 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,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesFrancis Jeffry Pelletier (1999). A Brief History of Natural Deduction. History and Philosophy of Logic 20 (1):1-31.
Yannis Delmas-Rigoutsos (1997). A Double Deduction System for Quantum Logic Based on Natural Deduction. Journal of Philosophical Logic 26 (1):57-67.
E. J. Lemmon (1965). A Further Note on Natural Deduction. Mind 74 (296):594-597.
Sara Negri & Jan von Plato (2001). Sequent Calculus in Natural Deduction Style. Journal of Symbolic Logic 66 (4):1803-1816.
E. W. Beth (1963). Note on the Terminology of Natural Deduction. Analysis 23 (6):144 -.
Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
Michael D. Resnik (1966). A Note on Natural Deduction. Notre Dame Journal of Formal Logic 7 (2):206-208.
David W. Bennett (1977). A Note on the Completeness Proof for Natural Deduction. Notre Dame Journal of Formal Logic 18 (1):145-146.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Bruce White (1974). A Note on Natural Deduction in Many-Valued Logic. Notre Dame Journal of Formal Logic 15 (1):167-168.
Michel Parigot (1997). Proofs of Strong Normalisation for Second Order Classical Natural Deduction. Journal of Symbolic Logic 62 (4):1461-1479.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #202,056 of 549,224 )Recent downloads (6 months)1 ( #63,397 of 549,224 )How can I increase my downloads? |
My notes
Discussion
