The Review of Symbolic Logic

Research Article

CUT FOR CORE LOGIC

NEIL TENNANTa1 c1

a1 Department of Philosophy, The Ohio State University

Abstract

The motivation for Core Logic is explained. Its system of proof is set out. It is then shown that, although the system has no Cut rule, its relation of deducibility obeys Cut with epistemic gain.

(Received August 15 2011)

Correspondence:

c1 DEPARTMENT OF PHILOSOPHY, THE OHIO STATE UNIVERSITY, COLUMBUS, OH 43210 E-mail: tennant.9@osu.edu