VOL. 42 · NO. 1 | 2001
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 42 (1), (2001)
No abstract available
Articles
Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi
Notre Dame J. Formal Logic 42 (1), 1-22, (2001) DOI: 10.1305/ndjfl/1054301352
KEYWORDS: sequent calculus, Kripke semantics, cut-elimination, 03F05, 03B60
Tapani Hyttinen, Matti Pauna
Notre Dame J. Formal Logic 42 (1), 23-40, (2001) DOI: 10.1305/ndjfl/1054301353
KEYWORDS: non-wellfounded sets, substitution, fixed point, 03E30, 03E65, 03E70
Dorella Bellè, Franco Parlamento
Notre Dame J. Formal Logic 42 (1), 41-53, (2001) DOI: 10.1305/ndjfl/1054301354
KEYWORDS: decidability, undecidability, foundation, extensionality, 03B25, 03C62, 03E50
Osamu Morikawa
Notre Dame J. Formal Logic 42 (1), 55-64, (2001) DOI: 10.1305/ndjfl/1054301355
KEYWORDS: 3-valued logic, temporal logic, 03B50, 03B44
Back to Top