Neil Tennant

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 6

Top Topics

Logical Framework

Rough Mereology

Highly Relevant

Top Venues

Rev. Symb. Log.

Notre Dame J. Formal Log.

J. Philos. Log.

Publications

Neil Tennant
Which 'Intensional Paradoxes' are Paradoxes? J. Philos. Log. 53 (4) (2024)
Ethan Brauer, Neil Tennant
Transmission of Verification. Rev. Symb. Log. 14 (4) (2021)
Neil Tennant
What is a Rule of Inference? Rev. Symb. Log. 14 (2) (2021)
Neil Tennant
On Tarski's Axiomatization of Mereology. Stud Logica 107 (6) (2019)
Neil Tennant
On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic. Notre Dame J. Formal Log. 59 (4) (2018)
Neil Tennant
Rule-Irredundancy and the Sequent Calculus for Core Logic. Notre Dame J. Formal Log. 57 (1) (2016)
Neil Tennant
The Relevance of Premises to Conclusions of Core Proofs. Rev. Symb. Log. 8 (4) (2015)
Neil Tennant
Cut for Classical Core Logic. Rev. Symb. Log. 8 (2) (2015)
Neil Tennant
Parts, classes and Parts of Classes: an anti-realist reading of Lewisian mereology. Synth. 190 (4) (2013)
Neil Tennant
Cut for Core Logic. Rev. Symb. Log. 5 (3) (2012)
Neil Tennant
The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational Field. Stud Logica 95 (1-2) (2010)
Neil Tennant
Williamson's Woes. Synth. 173 (1) (2010)
Neil Tennant
Belief-Revision, the Ramsey Test, monotonicity, and the so-Called Impossibility Results. Rev. Symb. Log. 1 (4) (2008)
Neil Tennant
-theory of theory-revision. J. Symb. Log. 71 (2) (2006)
Neil Tennant
New Foundations for a Relational Theory of Theory-revision. J. Philos. Log. 35 (5) (2006)
Neil Tennant
Contracting Intuitionistic Theories. Stud Logica 80 (2-3) (2005)
Neil Tennant
Frege's Content-Principle and Relevant Deducibility. J. Philos. Log. 32 (3) (2003)
Neil Tennant
Theory-Contraction is NP-Complete. Log. J. IGPL 11 (6) (2003)
Neil Tennant
Ultimate Normal Forms for Parallelized Natural Deductions. Log. J. IGPL 10 (3) (2002)
Neil Tennant
On Having Bad Contractions (invited paper). J. Appl. Non Class. Logics 7 (2) (1997)
Neil Tennant
Editorial. J. Log. Comput. 1 (4) (1991)
Neil Tennant
Truth Table Logic, with a Survey of Embeddability Results. Notre Dame J. Formal Log. 30 (3) (1989)
Neil Tennant
Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic. J. Symb. Log. 52 (3) (1987)
Charles McCarty, Neil Tennant
Skolem's paradox and constructivism. J. Philos. Log. 16 (2) (1987)
Neil Tennant
A proof-theoretic approach to entailment. J. Philos. Log. 9 (2) (1980)
Neil Tennant
Continuity and identity. J. Philos. Log. 6 (1) (1977)