VOL. 49 · NO. 1 | 2008
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 49 (1), (2008) Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
KEYWORDS: constructive, preference relation, continuity, 03F60, 91B08
Back Matter
Notre Dame J. Formal Logic 49 (1), (2008) Open Access
No abstract available
Notre Dame J. Formal Logic 49 (1), (2008) Open Access
No abstract available
Back to Top