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

On Tarski’s Axiomatization of Mereology

TL;DR: It is shown how Tarski’s 1929 axiomatization of mereology secures the reflexivity of the ‘part of’ relation by means of constructive and relevant reasoning throughout and places a premium on complete formal rigor of proof.
Journal ArticleDOI

Logic, Mathematics, and the A Priori, Part I: A Problem for Realism

TL;DR: In this paper, the role of apriority in the realism/anti-realism debate is examined in the context of core logic, and the resources supplied by Core Logic.
Journal ArticleDOI

On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic

TL;DR: In this article, a reply to a recent work of Vidal-Rosset, which expresses various mistaken beliefs about core logic about logic, is given. But this work is in part a reply.
Journal ArticleDOI

Weir and those ‘Disproofs’ I saw before me

Neil Tennant
- 01 Oct 1985 - 
TL;DR: The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world as discussed by the authors, which is supported by libraries, scholarly societies, publishers, and foundations.