Comments on a variant form of natural deduction
Journal of Symbolic Logic 30 (2):119-122 (1965)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2270129
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Natural deduction rules for English.Frederic B. Fitch - 1973 - Philosophical Studies 24 (2):89 - 104.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.Moritz Cordes & Friedrich Reinmuth - manuscript
A labelled natural deduction system for linear temporal logic.Andrzej Indrzejczak - 2003 - Studia Logica 75 (3):345 - 376.
Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
Another variant of natural deduction.Irving M. Copi - 1956 - Journal of Symbolic Logic 21 (1):52-55.
Analytics
Added to PP
2009-01-28
Downloads
17 (#641,723)
6 months
11 (#82,964)
2009-01-28
Downloads
17 (#641,723)
6 months
11 (#82,964)
Historical graph of downloads
Citations of this work
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
