VOL. 46 · NO. 2 | 2005
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 46 (2), (2005)
No abstract available
Articles
Joost J. Joosten
Notre Dame J. Formal Logic 46 (2), 127-146, (2005) DOI: 10.1305/ndjfl/1117755145
KEYWORDS: interpretability logic, provability logic, 03F45, 03F25, 03F30
Eric Rosen
Notre Dame J. Formal Logic 46 (2), 147-164, (2005) DOI: 10.1305/ndjfl/1117755146
KEYWORDS: first-order prefix, expressive power, 03C07, 0B10
Philipp Gerhardy
Notre Dame J. Formal Logic 46 (2), 165-171, (2005) DOI: 10.1305/ndjfl/1117755147
KEYWORDS: Proof complexity, cut elimination, quantifier alternations, 03F05, 03F20
Merrie Bergmann
Notre Dame J. Formal Logic 46 (2), 173-180, (2005) DOI: 10.1305/ndjfl/1117755148
KEYWORDS: finite tree property, truth-trees, 03B10, 03F03
M. W. Bunder, W. J. M. Dekkers
Notre Dame J. Formal Logic 46 (2), 181-205, (2005) DOI: 10.1305/ndjfl/1117755149
KEYWORDS: pure type systems, illative combinatory logic, 03B40
Patrizio Cintioli
Notre Dame J. Formal Logic 46 (2), 207-216, (2005) DOI: 10.1305/ndjfl/1117755150
KEYWORDS: many-one reducibility, Kleene's Hierarchy, computational complexity, 03D25, 68Q15
R. E. Jennings, Kam Sing Leung
Notre Dame J. Formal Logic 46 (2), 217-230, (2005) DOI: 10.1305/ndjfl/1117755151
KEYWORDS: modal logic, deontic logic, Lewis systems, prenormal idiom, 03B45
N. Raja
Notre Dame J. Formal Logic 46 (2), 231-233, (2005) DOI: 10.1305/ndjfl/1117755152
KEYWORDS: Set theory, Yablo's Paradox, Proof complexity, 03E99, 03F99
Reviews
Julian C. Cole
Notre Dame J. Formal Logic 46 (2), 235-247, (2005) DOI: 10.1305/ndjfl/1117755153
KEYWORDS: fictionalism, social construction, ontological commitment, 00A30
No abstract available
Back Matter
Notre Dame J. Formal Logic 46 (2), (2005)
No abstract available
Notre Dame J. Formal Logic 46 (2), (2005)
No abstract available
Back to Top