VOL. 55 · NO. 1 | 2014
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 55 (1), (2014)
No abstract available
Articles
Adam R. Day, Jan Reimann
Notre Dame J. Formal Logic 55 (1), 1-10, (2014) DOI: 10.1215/00294527-2377842
KEYWORDS: algorithmic randomness, independence, PA degrees, c.e. sets, van Lambalgen’s theorem, 03D32
Zuhair Al-Johar, M. Randall Holmes, Nathan Bowler
Notre Dame J. Formal Logic 55 (1), 11-24, (2014) DOI: 10.1215/00294527-2377851
KEYWORDS: New foundations, NFU, stratification, acyclic comprehension, 03E70
François G. Dorais
Notre Dame J. Formal Logic 55 (1), 25-39, (2014) DOI: 10.1215/00294527-2377860
KEYWORDS: intuitionistic analysis, second-order arithmetic, reverse mathematics, realizability, choice principles, 03B20, 03B30, 03F35, 03F55
Melvin Fitting
Notre Dame J. Formal Logic 55 (1), 41-61, (2014) DOI: 10.1215/00294527-2377869
KEYWORDS: Intuitionistic logic, constant domain logic, sequent, nested sequent, tableau, prefixed tableau, 03B20, 03B44, 03B60, 68T15
David Diamondstone, Johanna N. Y. Franklin
Notre Dame J. Formal Logic 55 (1), 63-73, (2014) DOI: 10.1215/00294527-2377878
KEYWORDS: algorithmic randomness, difference randomness, difference tests, lowness, 03D32
Stephen G. Simpson
Notre Dame J. Formal Logic 55 (1), 75-78, (2014) DOI: 10.1215/00294527-2377887
KEYWORDS: reverse mathematics, second-order arithmetic, Baire category theorem, $\mathsf{RCA}_{0}$, $\mathsf{RCA} _{0}^{\ast}$, $\Sigma^{0}_{1}$-induction, 03B30, 03F25, 54E52
Thomas Mormann
Notre Dame J. Formal Logic 55 (1), 79-90, (2014) DOI: 10.1215/00294527-1960497
KEYWORDS: junky worlds, principle of universal fusion, Zermelo natural numbers, von Neumann ordinal numbers, Burali-Forti paradox, topological junky worlds, 03A99, 03E30, 03E10
Rodrigo A. Freire
Notre Dame J. Formal Logic 55 (1), 91-105, (2014) DOI: 10.1215/00294527-2377896
KEYWORDS: existence axioms, foundations of set theory, 03E30
Gemma Robles, José M. Méndez
Notre Dame J. Formal Logic 55 (1), 107-127, (2014) DOI: 10.1215/00294527-1960461
KEYWORDS: deep relevant logics, relevant logics, weak relevant matrices, logical matrices, 03B47
Mauricio Osorio, José Luis Carballido, Claudia Zepeda
Notre Dame J. Formal Logic 55 (1), 129-155, (2014) DOI: 10.1215/00294527-2377905
KEYWORDS: paraconsistent logic, logic $\mathbb{Z}$, modal logic, nonmonotonic reasoning, X001, Y002, Z003
Back to Top