Cut for classical core logic

Review of Symbolic Logic 8 (2):236-256 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1755020315000088

Links

PhilArchive



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

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

Logic, Mathematics, and the A Priori, Part II: Core Logic as Analytic, and as the Basis for Natural Logicism.Neil Tennant - 2014 - Philosophia Mathematica 22 (3):321-344.
Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
Manifest invalidity: Neil Tennant's new argument for intuitionism.Jon Cogburn - 2003 - Synthese 134 (3):353 - 362.
Transition Logic Revisited.Wolfgang Bibel - 2008 - Logic Journal of the IGPL 16 (4):317-334.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
A Summary Of "core Points In Double Heyting Algebras And Dissectable Lattices".George Epstein & Alfred Horn - 1981 - Bulletin of the Section of Logic 10 (4):181-183.
A logical introduction to proof.Daniel W. Cunningham - 2012 - New York: Springer.
Science – logic – philosophy. An old problem resuscitated.Pavel Materna - 2012 - Logic and Logical Philosophy 21 (2):107-126.
Classical negation can be expressed by one of its halves.Jean-Yves Beziau - 1999 - Logic Journal of the IGPL 7 (2):145-151.
Truth table logic, with a survey of embeddability results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.
Quasi stable outcomes in the assignment game.Raïssa-Juvette Samba Zitou & Rhonya Adli - 2012 - Theory and Decision 72 (3):323-340.
On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
Reflections on the logic of rules.Peter Schotch - manuscript
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.

Analytics

Added to PP
2015-07-07

Downloads
40 (#400,954)

6 months
8 (#370,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Tennant
Ohio State University

Citations of this work

Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
The relevance of premises to conclusions of core proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
Normalizability, cut eliminability and paradox.Neil Tennant - 2016 - Synthese 199 (Suppl 3):597-616.
Core Gödel.Neil Tennant - 2023 - Notre Dame Journal of Formal Logic 64 (1):15-59.

View all 10 citations / Add more citations

References found in this work

Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
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.
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.
Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.

View all 8 references / Add more references