VOL. 47 · NO. 1 | 2006
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 47 (1), (2006)
No abstract available
Articles
Barbara F. Csima, Antonio Montalbán, Richard A. Shore
Notre Dame J. Formal Logic 47 (1), 1-23, (2006) DOI: 10.1305/ndjfl/1143468308
KEYWORDS: Boolean algebras, computability, index sets, Tarski invariants, 03D50
Ulrich Meyer
Notre Dame J. Formal Logic 47 (1), 25-37, (2006) DOI: 10.1305/ndjfl/1143468309
KEYWORDS: tense logic, modal logic, times, possible worlds, actuality operator, presentism, actualism, 03B44, 03B45, 03C80
Nathan C. Carter
Notre Dame J. Formal Logic 47 (1), 39-62, (2006) DOI: 10.1305/ndjfl/1143468310
KEYWORDS: intermediate logics, completeness, reflexivity, 03F50, 03F55
Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin
Notre Dame J. Formal Logic 47 (1), 63-71, (2006) DOI: 10.1305/ndjfl/1143468311
KEYWORDS: computable structure, aleph 1-categoricity, 03045, 03C57
Sebastiaan A. Terwijn
Notre Dame J. Formal Logic 47 (1), 73-82, (2006) DOI: 10.1305/ndjfl/1143468312
KEYWORDS: intuitionistic propositional logic, Medvedev degrees, Muchnik degrees, computability, 03D30, 03B55, 03G10, 03D80
Benedikt Löwe
Notre Dame J. Formal Logic 47 (1), 83-91, (2006) DOI: 10.1305/ndjfl/1143468313
KEYWORDS: categories of interpretations, homotopy, synonymy, 03E30, 03F25
Chris Miller, James Tyne
Notre Dame J. Formal Logic 47 (1), 93-99, (2006) DOI: 10.1305/ndjfl/1143468314
KEYWORDS: o-minimal, d-minimal, densely ordered group, 03C64, 06F15
Lloyd Humberstone
Notre Dame J. Formal Logic 47 (1), 101-131, (2006) DOI: 10.1305/ndjfl/1143468315
KEYWORDS: Curry's Paradox, truth-functions, Fixed points, conservative extension, substructural logics, BCI logic, 03B47, 03B05
Reviews
Patrick Maher
Notre Dame J. Formal Logic 47 (1), 133-149, (2006) DOI: 10.1305/ndjfl/1143468316
KEYWORDS: degree of belief, preface paradox, Dutch book argument, vague belief, 03B42, 03B48, 60A05
No abstract available
Back Matter
Notre Dame J. Formal Logic 47 (1), (2006)
No abstract available
Notre Dame J. Formal Logic 47 (1), (2006)
No abstract available
Back to Top