Jump to ContentJump to Main Navigation
Core Logic - Oxford Scholarship Online
Users without a subscription are not able to see the full content.

Core Logic

Neil Tennant


Core Logic has unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. It is an elegant kernel lying deep within Classical Logic, a canon for constructive and relevant deduction furnishing faithful formalizations of informal constructive mathematical proofs. Its classicized extension provides likewise for non-constructive mathematical reasoning. Confining one’s search to core proofs affords automated reasoners great gains in efficiency. All logico-semantical paradoxes involve only core reasoning. Core proofs are in normal form, and relevant in a high ... More

Keywords: constructive relevant deduction, formalization, transitivity introduction rule, elimination rule, core proof

Bibliographic Information

Print publication date: 2017 Print ISBN-13: 9780198777892
Published to Oxford Scholarship Online: October 2017 DOI:10.1093/oso/9780198777892.001.0001


Affiliations are at time of print publication.

Neil Tennant, author
Arts & Humanities Distinguished Professor of Philosophy, Ohio State University