Notre Dame Journal of Formal Logic

The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.


Volume 50, Number 3

Publication Date: 2009

Table of Contents to Volume 50, Number 3

Finitary Set Theory

Laurence Kirby; 227-244

A Reverse Analysis of the Sylvester-Gallai Theorem

Victor Pambuccian; 245-260

Proof-finding Algorithms for Classical and Subclassical Propositional Logics

M. W. Bunder and R. M. Rizkalla; 261-273

$\in_I$: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity

Steffen Lewitzka; 275-301

George Boole's Deductive System

Frank Markham Brown; 303-330

A Topological Approach to Yablo's Paradox

Claudio Bernardi; 331-338

Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics

Robert Hanna; 339-361

Back Page to Volume 50, Number 3


2009 © Duke University Press