VOL. 42 · NO. 2 | 2001
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 42 (2), (2001)
No abstract available
Articles
Lorenzo Sacchetti
Notre Dame J. Formal Logic 42 (2), 65-86, (2001) DOI: 10.1305/ndjfl/1054837934
KEYWORDS: modal logic, provability predicates, Fixed points, 03B45, 03F40, 03F45, 03F30
Athanassios Tzouvaras
Notre Dame J. Formal Logic 42 (2), 87-99, (2001) DOI: 10.1305/ndjfl/1054837935
KEYWORDS: Distributive lattice, negation, periodic function, 03G10, 03B99
M. Bekkali
Notre Dame J. Formal Logic 42 (2), 101-108, (2001) DOI: 10.1305/ndjfl/1054837936
KEYWORDS: pseudo treealgebra, interval algebra, ordered set, 03G, 06A, 06A05,, 06B10, 06E05
Antonella Mancini, Domenico Zambella
Notre Dame J. Formal Logic 42 (2), 109-115, (2001) DOI: 10.1305/ndjfl/1054837937
KEYWORDS: fragments of set theory, recursive models, 03D45, 03F99
Toshio Suzuki
Notre Dame J. Formal Logic 42 (2), 117-120, (2001) DOI: 10.1305/ndjfl/1054837938
KEYWORDS: computational complexity, t-generic oracle, 68Q15, 03D15
Kees Doets
Notre Dame J. Formal Logic 42 (2), 121-127, (2001) DOI: 10.1305/ndjfl/1054837939
KEYWORDS: back and forth method, model pair, interpolation, preservation, Lindstrom theorem, 03C40, 03C15, 03B45, 03C95
Back Matter
Notre Dame J. Formal Logic 42 (2), (2001)
No abstract available
Notre Dame J. Formal Logic 42 (2), (2001)
No abstract available
Back to Top