VOL. 50 · NO. 1 | 2009
 
VIEW ALL ABSTRACTS +
Front Matter
Notre Dame J. Formal Logic 50 (1), (2009)
No abstract available
Articles
John D. Clemens
Notre Dame J. Formal Logic 50 (1), 1-22, (2009) DOI: 10.1215/00294527-2008-024
KEYWORDS: countable structures, homogeneous, isomorphism, 03E15, 03C15, 03C50
Katalin Bimbó
Notre Dame J. Formal Logic 50 (1), 23-41, (2009) DOI: 10.1215/00294527-2008-025
KEYWORDS: entailment, relevance logics, gaggle theory, topological duality theory, sequent calculus, cut-free proofs, 03B47, 03F05, 18C50
Philip Scowcroft
Notre Dame J. Formal Logic 50 (1), 43-51, (2009) DOI: 10.1215/00294527-2008-026
KEYWORDS: mixed-integer quantifier elimination, generalized halfspace, projection, 03C64, 15A39, 90C11
Jaime Gaspar
Notre Dame J. Formal Logic 50 (1), 53-60, (2009) DOI: 10.1215/00294527-2008-027
KEYWORDS: functional interpretation, negative translation, majorizability, 03F03, 03F10
Albert Visser
Notre Dame J. Formal Logic 50 (1), 61-85, (2009) DOI: 10.1215/00294527-2008-028
KEYWORDS: concatenation, Strings, sequentiality, 03B25, 03F25
Vítězslav Švejdar
Notre Dame J. Formal Logic 50 (1), 87-95, (2009) DOI: 10.1215/00294527-2008-029
KEYWORDS: concatenation, interpretability, Robinson arithmetic, essential undecidability, 03B25, 03F25
Reviews
Gila Sher
Notre Dame J. Formal Logic 50 (1), 97-117, (2009) DOI: 10.1215/00294527-2008-030
KEYWORDS: Truth, mathematical proof, logical consequence, deflationism, nominalism, logical constants, Tarski, 03-02, 00A30, 03A05
No abstract available
Back Matter
Notre Dame J. Formal Logic 50 (1), (2009)
No abstract available
Back to Top