A heuristic procedure for natural deduction derivations using reductio ad absurdum

Notre Dame Journal of Formal Logic 17 (4):638-639 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

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

Reductio ad absurdum.Nicholas Rescher - 2002 - Internet Encyclopedia of Philosophy.
Normal derivations and sequent derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
The form of reductio ad absurdum.Paul Foulkes - 1973 - Mind 82 (328):579-580.
The form of reductio ad absurdum.Donald Scherer - 1971 - Mind 80 (318):247-252.

Analytics

Added to PP
2010-08-24

Downloads
17 (#846,424)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael A. Gilbert
York University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references