VOL. 50 · NO. 3 | 2009
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 50 (3), (2009)
No abstract available
Articles
Laurence Kirby
Notre Dame J. Formal Logic 50 (3), 227-244, (2009) DOI: 10.1215/00294527-2009-009
KEYWORDS: hereditarily finite sets, primitive recursive set functions, adjunction, 03C13, 03D20, 03E10, 03E30
Victor Pambuccian
Notre Dame J. Formal Logic 50 (3), 245-260, (2009) DOI: 10.1215/00294527-2009-010
KEYWORDS: reverse analysis, Sylvester-Gallai theorem, projective geometry, Pasch axiom, generalized metric spaces, 03C62, 03B30, 11A05
M. W. Bunder, R. M. Rizkalla
Notre Dame J. Formal Logic 50 (3), 261-273, (2009) DOI: 10.1215/00294527-2009-011
KEYWORDS: proof-finding algorithms, propositional logics, 03B20, 03B35, 03B40, 03B47
Steffen Lewitzka
Notre Dame J. Formal Logic 50 (3), 275-301, (2009) DOI: 10.1215/00294527-2009-012
KEYWORDS: truth theory, non-Fregean logics, Self-reference, Intuitionistic logic, semantic paradoxes, intensional semantics, Extension‎, intension, denotation, 03B20, 03B60, 03B65
Frank Markham Brown
Notre Dame J. Formal Logic 50 (3), 303-330, (2009) DOI: 10.1215/00294527-2009-013
KEYWORDS: Boole, 19th century, Boolean algebra, Boolean equations, 03, 01
Claudio Bernardi
Notre Dame J. Formal Logic 50 (3), 331-338, (2009) DOI: 10.1215/00294527-2009-014
KEYWORDS: fixed point of a continuous function, ungrounded sentence, 03A05, 03F45, 54D30
Reviews
Robert Hanna
Notre Dame J. Formal Logic 50 (3), 339-361, (2009) DOI: 10.1215/00294527-2009-015
KEYWORDS: phenomenology, foundation of logic, impredicativity, 00B60, 00A30, 03-03, 03A05
No abstract available
Back Matter
Notre Dame J. Formal Logic 50 (3), (2009)
No abstract available
Back to Top