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 54, Number 1
Publication Date: 2013
Frontmatter
Table of Contents
Articles
A Note on Freedom from Detachment in the Logic of Paradox
Jc Beall, Thomas Forster and Jeremy Seligman; 15-20
Mereology on Topological and Convergence Spaces
Daniel R. Patten; 21-31
The First-Order Syntax of Variadic Functions
Samuel Alexander; 47-59
The Parallel versus Branching Recurrences in Computability Logic
Wenyan Xu and Sanyang Liu; 61-78
On the Equivalence Conjecture for Proof-Theoretic Harmony
Florian Steinberger; 79-86
A New Conditional for Naive Truth Theory
Andrew Bacon; 87-104
Compressibility and Kolmogorov Complexity
Stephen Binns and Marie Nicholson; 105-123
Notre Dame Journal of Formal Logic
