VOL. 45 · NO. 4 | 2004
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 45 (4), (2004)
No abstract available
Articles
Hiroshi Aoyama
Notre Dame J. Formal Logic 45 (4), 193-213, (2004) DOI: 10.1305/ndjfl/1099238445
KEYWORDS: LK, LJ, dual intuitionistic logic, paraconsistent logic, Quantum logic, 03B53, 03B60
Fred Richman
Notre Dame J. Formal Logic 45 (4), 215-233, (2004) DOI: 10.1305/ndjfl/1099238446
KEYWORDS: categorical syllogism, 03B99
Steve Awodey, Jonas Eliasson
Notre Dame J. Formal Logic 45 (4), 235-245, (2004) DOI: 10.1305/ndjfl/1099238447
KEYWORDS: ultrapower, Moerdijk's Topos, double negation subtopos, sheaf theory, 03G30
Reviews
Albert C. Lewis
Notre Dame J. Formal Logic 45 (4), 247-256, (2004) DOI: 10.1305/ndjfl/1099238448
KEYWORDS: Lowenheim-Skolem theorem, C. S. Peirce, E. Schroeder, 03-03, 01A55, 01A60
No abstract available
Back Matter
Notre Dame J. Formal Logic 45 (4), (2004)
No abstract available
Back to Top