Neil Tennant - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2021

Transmission of VerificationEthan Brauer, Neil Tennant. rsl, 14(4):866-881, 2021. [doi]

What is a Rule of Inference?Neil Tennant. rsl, 14(2):307-346, 2021. [doi]

2019

On Tarski's Axiomatization of MereologyNeil Tennant. sLogica, 107(6):1089-1102, 2019. [doi]

2018

On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About LogicNeil Tennant. ndjfl, 59(4):559-578, 2018. [doi]

2016

Rule-Irredundancy and the Sequent Calculus for Core LogicNeil Tennant. ndjfl, 57(1):105-125, 2016. [doi]

2015

The Relevance of Premises to Conclusions of Core ProofsNeil Tennant. rsl, 8(4):743-784, 2015. [doi]

Cut for Classical Core LogicNeil Tennant. rsl, 8(2):236-256, 2015. [doi]

2013

Parts, classes and Parts of Classes: an anti-realist reading of Lewisian mereologyNeil Tennant. synthese, 190(4):709-742, 2013. [doi]

2012

Cut for Core LogicNeil Tennant. rsl, 5(3):450-479, 2012. [doi]

2010

Williamson s WoesNeil Tennant. synthese, 173(1):9-23, 2010. [doi]

The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational FieldNeil Tennant. sLogica, 95(1-2):207-232, 2010. [doi]

2008

Belief-Revision, the Ramsey Test, monotonicity, and the so-Called Impossibility ResultsNeil Tennant. rsl, 1(4):402-423, 2008. [doi]

2007

Relevance in ReasoningNeil Tennant. In Stewart Shapiro, editor, The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford handbooks in philosophy, pages 696-726, Oxford University Press, 2007.

2006

On the degeneracy of the full ::::AGM::::-theory of theory-revisionNeil Tennant. JSYML, 71(2):661-676, 2006. [doi]

New Foundations for a Relational Theory of Theory-revisionNeil Tennant. jphil, 35(5):489-528, 2006. [doi]

2005

Contracting Intuitionistic TheoriesNeil Tennant. sLogica, 80(2-3):369-391, 2005. [doi]

2003

Theory-Contraction is NP-CompleteNeil Tennant. igpl, 11(6):675-693, 2003. [doi]

Frege's Content-Principle and Relevant DeducibilityNeil Tennant. jphil, 32(3):245-258, 2003. [doi]

2002

Ultimate Normal Forms for Parallelized Natural DeductionsNeil Tennant. igpl, 10(3):299-337, 2002. [doi]

1997

On Having Bad Contractions (invited paper)Neil Tennant. jancl, 7(2):241-266, 1997.

1991

EditorialNeil Tennant. logcom, 1(4):427-430, 1991.

1989

Truth Table Logic, with a Survey of Embeddability ResultsNeil Tennant. ndjfl, 30(3):459-484, 1989.

1987

Skolem's paradox and constructivismCharles McCarty, Neil Tennant. jphil, 16(2):165-202, 1987. [doi]

Natural Deduction and Sequent Calculus for Intuitionistic Relevant LogicNeil Tennant. JSYML, 52(3):665-680, 1987.

1980

A proof-theoretic approach to entailmentNeil Tennant. jphil, 9(2):185-209, 1980. [doi]

1977

Continuity and identityNeil Tennant. jphil, 6(1):223-231, 1977. [doi]

Sign in or sign up to see more results.

runs on WebDSL