Neil Tennant

Orcid: 0000-0002-3523-2296

Affiliations:
  • Ohio State University, Columbus, Department of Philosophy, USA


According to our database1, Neil Tennant authored at least 26 papers between 1977 and 2021.

Collaborative distances:
  • Dijkstra number2 of seven.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
What is a Rule of Inference?
Rev. Symb. Log., 2021

Transmission of Verification.
Rev. Symb. Log., 2021

2019
On Tarski's Axiomatization of Mereology.
Stud Logica, 2019

2018
On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic.
Notre Dame J. Formal Log., 2018

2016
Rule-Irredundancy and the Sequent Calculus for Core Logic.
Notre Dame J. Formal Log., 2016

2015
The Relevance of Premises to Conclusions of Core Proofs.
Rev. Symb. Log., 2015

Cut for Classical Core Logic.
Rev. Symb. Log., 2015

2013
Parts, classes and Parts of Classes: an anti-realist reading of Lewisian mereology.
Synth., 2013

2012
Cut for Core Logic.
Rev. Symb. Log., 2012

2010
Williamson's Woes.
Synth., 2010

The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational Field.
Stud Logica, 2010

2008
Belief-Revision, the Ramsey Test, monotonicity, and the so-Called Impossibility Results.
Rev. Symb. Log., 2008

2007
Relevance in Reasoning.
Proceedings of the Oxford Handbook of Philosophy of Mathematics and Logic., 2007

2006
On the degeneracy of the full <i>AGM</i>-theory of theory-revision.
J. Symb. Log., 2006

New Foundations for a Relational Theory of Theory-revision.
J. Philos. Log., 2006

2005
Contracting Intuitionistic Theories.
Stud Logica, 2005

2003
Frege's Content-Principle and Relevant Deducibility.
J. Philos. Log., 2003

Theory-Contraction is NP-Complete.
Log. J. IGPL, 2003

2002
Ultimate Normal Forms for Parallelized Natural Deductions.
Log. J. IGPL, 2002

1997
On Having Bad Contractions (invited paper).
J. Appl. Non Class. Logics, 1997

1991
Editorial.
J. Log. Comput., 1991

1989
Truth Table Logic, with a Survey of Embeddability Results.
Notre Dame J. Formal Log., 1989

1987
Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic.
J. Symb. Log., 1987

Skolem's paradox and constructivism.
J. Philos. Log., 1987

1980
A proof-theoretic approach to entailment.
J. Philos. Log., 1980

1977
Continuity and identity.
J. Philos. Log., 1977


  Loading...