Natural Deduction: A Proof-Theoretical Study

Journal of Symbolic Logic 32 (2):255-256 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

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

Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Natural Deduction: A Proof-Theoretical Study. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):596-596.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
Translating a Suppes-Lemmon Style Natural Deduction into a Sequent Calculus.Pavlović Edi - 2015 - European Journal of Analytic Philosophy 11 (2):79--88.
The Two Steps of the B-Deduction.Markku Leppäkoski - 1998 - Kantian Review 2:107-116.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.

Analytics

Added to PP
2017-02-21

Downloads
18 (#708,051)

6 months
5 (#244,526)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richmond Thomason
University of Michigan, Ann Arbor

References found in this work

No references found.

Add more references