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
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
Notre Dame Journal of Formal Logic
