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)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887736

Links

PhilArchive



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

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

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.
Norman Finkelstein, DePaul, and U.s. Academia: Reductio ad absurdum of centralized universities.Andrew Chrucky - manuscript
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.Moritz Cordes & Friedrich Reinmuth - manuscript
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.
Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie.Moritz Cordes & Friedrich Reinmuth - manuscript
[email protected].ProfPeter Milne - unknown
Natural deduction in connectionist systems.William Bechtel - 1994 - Synthese 101 (3):433-463.
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.
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.
Scherer on reductio ad absurdum.Charles H. Lambros - 1973 - Mind 82 (328):581-585.
The form of reductio ad absurdum.Donald Scherer - 1971 - Mind 80 (318):247-252.

Analytics

Added to PP
2010-08-24

Downloads
17 (#872,959)

6 months
1 (#1,478,781)

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