VOL. 43 · NO. 3 | 2002
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 43 (3), (2002)
No abstract available
Articles
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama
Notre Dame J. Formal Logic 43 (3), 129-145, (2002) DOI: 10.1305/ndjfl/1074290712
KEYWORDS: minimal relevant logic, intersection type theory, lambda model, Curry-Howard isomorphism, Harrop Formulas, 03B47, 03B40, 68N18
Greg Restall
Notre Dame J. Formal Logic 43 (3), 147-156, (2002) DOI: 10.1305/ndjfl/1074290713
KEYWORDS: paraconsistent logic, Intuitionistic logic, Quantum logic, 03B53, 03A05
Eric J. Hall
Notre Dame J. Formal Logic 43 (3), 157-168, (2002) DOI: 10.1305/ndjfl/1074290714
KEYWORDS: axiom of choice, ZFA, permutation models, 03E25, 03E35, 03E40
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
Notre Dame J. Formal Logic 43 (3), 169-179, (2002) DOI: 10.1305/ndjfl/1074290715
KEYWORDS: axiomatization, single axiom, automated reasoning, implication, modal logic, 03B45, 68T15
Karim Zahidi
Notre Dame J. Formal Logic 43 (3), 181-192, (2002) DOI: 10.1305/ndjfl/1074290716
KEYWORDS: diophantine problems, function fields, undecidability, 03B25, 11U05, 12L05
Back to Top