VOL. 45 · NO. 1 | 2004
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 45 (1), (2004)
No abstract available
Articles
Kai F. Wehmeier
Notre Dame J. Formal Logic 45 (1), 1-11, (2004) DOI: 10.1305/ndjfl/1094155275
KEYWORDS: Wittgenstein, variables, cut-free calculi, 03A05, 03B60, 03F05
Steven Kuhn
Notre Dame J. Formal Logic 45 (1), 13-18, (2004) DOI: 10.1305/ndjfl/1094155276
KEYWORDS: propositional quantifier, 2S5, 03B45
Dirk Pattinson
Notre Dame J. Formal Logic 45 (1), 19-33, (2004) DOI: 10.1305/ndjfl/1094155277
KEYWORDS: coalgebra, modal logic, behavioral equivalence, 03B70, 16W30, 03B45
Steffen van Bakel
Notre Dame J. Formal Logic 45 (1), 35-63, (2004) DOI: 10.1305/ndjfl/1094155278
KEYWORDS: intersection types, lambda calculus, termination, cut-elimination, 03B15, 03F05, 68Q55
Back to Top