VOL. 51 · NO. 4 | 2010
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 51 (4), (2010)
No abstract available
Articles
David Atkinson, Jeanne Peijnenburg
Notre Dame J. Formal Logic 51 (4), 407-416, (2010) DOI: 10.1215/00294527-2010-025
KEYWORDS: probabilistic justification, coherentism, infinitism, 60A99
Johanna N. Y. Franklin
Notre Dame J. Formal Logic 51 (4), 417-426, (2010) DOI: 10.1215/00294527-2010-026
KEYWORDS: weak randomness, Kurtz randomness, Schnorr randomness, recursive randomness, genericity, hyperimmune, 03D32
Daniel W. Cunningham
Notre Dame J. Formal Logic 51 (4), 427-442, (2010) DOI: 10.1215/00294527-2010-027
KEYWORDS: descriptive set theory, determinacy, Fine structure, 03E15, 03E45, 03E60
Mingzhong Cai
Notre Dame J. Formal Logic 51 (4), 443-455, (2010) DOI: 10.1215/00294527-2010-028
KEYWORDS: minimal degrees, n-minimal degrees, array nonrecursive, tree systems, 03D28
Morten H. Sørensen, Paweł Urzyczyn
Notre Dame J. Formal Logic 51 (4), 457-473, (2010) DOI: 10.1215/00294527-2010-029
KEYWORDS: propositional quantification, IPC2, 03B20, 03F03
Victoria Gitman, Joel David Hamkins
Notre Dame J. Formal Logic 51 (4), 475-484, (2010) DOI: 10.1215/00294527-2010-030
KEYWORDS: Set theory, multiverse, ZFC, Forcing, 03E40, 03E99
Alex Citkin
Notre Dame J. Formal Logic 51 (4), 485-502, (2010) DOI: 10.1215/00294527-2010-031
KEYWORDS: Intuitionistic logic, modal logic, admissible rule, Heyting algebra, monadic algebra, intermediate logic, 03B55, 03F45, 06D20
Hitoshi Omori, Toshiharu Waragai
Notre Dame J. Formal Logic 51 (4), 503-506, (2010) DOI: 10.1215/00294527-2010-032
KEYWORDS: paraconsistent logic, Intuitionistic logic, Majkic's systems Zn and CZn, 03B53
Back Matter
Notre Dame J. Formal Logic 51 (4), (2010)
No abstract available
Back to Top