VOL. 49 · NO. 1 | 2008
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 49 (1), (2008)
No abstract available
Articles
Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl, Reed Solomon
Notre Dame J. Formal Logic 49 (1), 1-37, (2008) DOI: 10.1215/00294527-2007-001
KEYWORDS: quantifiers, decidability, hereditarily finite sets, 03B25, 03E30, 03C62
Roland Hinnion, Thierry Libert
Notre Dame J. Formal Logic 49 (1), 39-53, (2008) DOI: 10.1215/00294527-2007-002
KEYWORDS: partial set theory, paraconsistent set theory, extensionality, 03E35, 03E70, 03E99, 03C30
D. Bellè, F. Parlamento
Notre Dame J. Formal Logic 49 (1), 55-64, (2008) DOI: 10.1215/00294527-2007-003
KEYWORDS: quantifiers, decidability, hereditarily finite sets, 03B25, 03E30, 03C62
Gert-Jan C. Lokhorst
Notre Dame J. Formal Logic 49 (1), 65-73, (2008) DOI: 10.1215/00294527-2007-004
KEYWORDS: Anderson, deontic logic, eubouliatic logic, relevant logic, risk, safety, 03B47, 03B45
Nathan C. Carter
Notre Dame J. Formal Logic 49 (1), 75-95, (2008) DOI: 10.1215/00294527-2007-005
KEYWORDS: intermediate logics, completeness, reflexivity, F03F50, 03F55
Douglas S. Bridges
Notre Dame J. Formal Logic 49 (1), 97-106, (2008) DOI: 10.1215/00294527-2007-006
KEYWORDS: constructive, preference relation, continuity, 03F60, 91B08
Back Matter
Notre Dame J. Formal Logic 49 (1), (2008)
No abstract available
Notre Dame J. Formal Logic 49 (1), (2008)
No abstract available
Back to Top