A further note on natural deduction

Mind 74 (296):594-597 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

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

Through your library

Similar books and articles

A note on the proof theory the ╬╗II-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
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 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 Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.

Analytics

Added to PP
2009-01-28

Downloads
48 (#309,892)

6 months
2 (#1,015,942)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Natural deduction and arbitrary objects.Kit Fine - 1985 - Journal of Philosophical Logic 14 (1):57 - 107.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Existential instantiation and normalization in sequent natural deduction.Carlo Cellucci - 1992 - Annals of Pure and Applied Logic 58 (2):111-148.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.

Add more citations

References found in this work

No references found.

Add more references