Note on the Terminology of Natural Deduction

Analysis 23 (6):144 - (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/analys/23.6.144

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
A further note on natural deduction.E. J. Lemmon - 1965 - Mind 74 (296):594-597.
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 note on natural deduction.Michael D. Resnik - 1966 - Notre Dame Journal of Formal Logic 7 (2):206-208.
A note on natural deduction.Alex Blum - 1974 - Notre Dame Journal of Formal Logic 15 (2):349-350.
A note on the completeness proof for natural deduction.David W. Bennett - 1977 - Notre Dame Journal of Formal Logic 18 (1):145-146.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Natural Philosophy and the Use of Causal Terminology: A Puzzle in Reid's Account of Natural Philosophy.Aaron D. Cobb - 2010 - Journal of Scottish Philosophy 8 (2):101-114.
Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
Harmonising Natural Deduction.Hartley Slater - 2008 - Synthese 163 (2):187 - 198.
Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.Michael Gabbay & Murdoch J. Gabbay - 2005 - In Gabbay Michael & Gabbay Murdoch J. (eds.), We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. pp. 701-null.

Analytics

Added to PP
2011-05-29

Downloads
74 (#224,022)

6 months
2 (#1,204,205)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references