scispace - formally typeset
N

Neil Tennant

Researcher at Ohio State University

Publications -  114
Citations -  1748

Neil Tennant is an academic researcher from Ohio State University. The author has contributed to research in topics: Intuitionistic logic & Mathematical proof. The author has an hindex of 19, co-authored 113 publications receiving 1664 citations. Previous affiliations of Neil Tennant include Australian National University & University of Edinburgh.

Papers
More filters
Journal ArticleDOI

The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun's Gravitational Field

TL;DR: In this paper, the authors present a logically detailed case-study of explanation and prediction in Newtonian mechanics, where the case in question is that of a planet's elliptical orbit in the Sun's gravitational field.
Book ChapterDOI

On Gentzen’s Structural Completeness Proof

TL;DR: Gentzen as mentioned in this paper provided a structural completeness proof for thinning and cut on sequents, but without logical operators, and this proof was not extended to the case of infinite sets of sequents.
Journal ArticleDOI

Does Choice Really Imply Excluded Middle? Part I: Regimentation of the Goodman–Myhill Result, and Its Immediate Reception

TL;DR: In this article, the one-page 1978 informal proof of Goodman and Myhill is regimented in a weak constructive set theory in free logic, revealing the form of Choice used in deriving Excluded Middle.