VOL. 55 · NO. 4 | 2014
Notre Dame J. Formal Logic 55 (4), (2014) Open Access
No abstract available
Arthur W. Apter
Notre Dame J. Formal Logic 55 (4), 431-444, (2014) DOI: 10.1215/00294527-2798691 Open Access
KEYWORDS: supercompact cardinal, strongly compact cardinal, inaccessible cardinal, generalized continuum hypothesis, level-by-level equivalence between strong compactness and supercompactness, 03E35, 03E55
Ole Thomassen Hjortland
Notre Dame J. Formal Logic 55 (4), 445-467, (2014) DOI: 10.1215/00294527-2798700 Open Access
KEYWORDS: logical inferentialism, logical constants, categoricity, proof theory, sequent calculus, 03B50, 03B20
Tero Tulenheimo
Notre Dame J. Formal Logic 55 (4), 469-498, (2014) DOI: 10.1215/00294527-2798709 Open Access
KEYWORDS: game-theoretical semantics, higher-order logic, independence-friendly logic, negation, 03B60, 03C80, 03B15
Pieter A. M. Seuren
Notre Dame J. Formal Logic 55 (4), 499-532, (2014) DOI: 10.1215/00294527-2798718 Open Access
KEYWORDS: Abelard, Aristotle, Boethius, Hamilton, natural logic, ontogenesis of logic, Russell, undue existential import, 00-22, 03A99
Ioannis Souldatos
Notre Dame J. Formal Logic 55 (4), 533-551, (2014) DOI: 10.1215/00294527-2798727 Open Access
KEYWORDS: Infinitary logic, Scott sentence, complete sentence, characterizable cardinals, 03C75, 03C30, 03C35, 03E10, 03E75
William Craig
Notre Dame J. Formal Logic 55 (4), 553-561, (2014) DOI: 10.1215/00294527-2798736 Open Access
KEYWORDS: Peter van Inwagen, philosophy of logic, ontological commitment, substitutional quantification, existential quantifiers, 03-XX
Grigor Sargsyan
Notre Dame J. Formal Logic 55 (4), 563-568, (2014) DOI: 10.1215/00294527-2798745 Open Access
KEYWORDS: Mouse, inner model theory, descriptive set theory, hod mouse, 03E15, 03E45
V. Yu. Shavrukov, Albert Visser
Notre Dame J. Formal Logic 55 (4), 569-582, (2014) DOI: 10.1215/00294527-2798754 Open Access
KEYWORDS: first-order theories, arithmetic, uniform density, Lindenbaum algebras, 03F40, 03D45, 03F30
Back to Top