The relevance of premises to conclusions of core proofs

Review of Symbolic Logic 8 (4):743-784 (2015)
  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

The cognitive processes in informal reasoning.Victoria F. Shaw - 1996 - Thinking and Reasoning 2 (1):51 – 80.
Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
Conclusion.A. Phillips-Griffiths - 1989 - Royal Institute of Philosophy Supplement 26:129-139.
Faith and the Existence of God.R. G. Swinburne - 1988 - Royal Institute of Philosophy Supplement 24:121-143.
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
Who Needs Valid Moral Arguments?Mark T. Nelson - 2003 - Argumentation 17 (1):35-42.
Recognition of proofs in conditional reasoning.John Best - 2005 - Thinking and Reasoning 11 (4):326 – 348.
The nature of nonmonotonic reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.

Analytics

Added to PP
2015-09-03

Downloads
36 (#434,037)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Tennant
Ohio State University

Citations of this work

Cut for classical core logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.
A plea for KR.Alison Duncan Kerr - 2019 - Synthese 198 (4):3047-3071.
Core Gödel.Neil Tennant - 2023 - Notre Dame Journal of Formal Logic 64 (1):15-59.

View all 11 citations / Add more citations

References found in this work

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
Relevant Logic : a Philosophical Examination of Inference.Stephen Read - 1988 - Revue Philosophique de la France Et de l'Etranger 179 (4):656-656.
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.

View all 14 references / Add more references