VOL. 57 · NO. 2 | 2016
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 57 (2), (2016)
No abstract available
Articles
Stefan Wintein
Notre Dame J. Formal Logic 57 (2), 153-179, (2016) DOI: 10.1215/00294527-3346590
KEYWORDS: Self-referential truth, Kripke’s theory of truth, game-theoretic semantics, 03Axx, 03Bxx, 03A05, 03B50
Costas Dimitracopoulos, Vasileios S. Paschalis
Notre Dame J. Formal Logic 57 (2), 181-193, (2016) DOI: 10.1215/00294527-3452693
KEYWORDS: arithmetized completeness theorem, fragments of Peano arithmetic, end extensions, 03C62, 03F30, 03H15
Florian Pelupessy
Notre Dame J. Formal Logic 57 (2), 195-207, (2016) DOI: 10.1215/00294527-3452807
KEYWORDS: finite adjacent Ramsey, Paris–Harrington, Kanamori–McAloon, Ramsey theory, unprovability, independence, Phase transitions, Peano Arithmetic, 03F30, 03D20, 03H15
Samuel Alexander
Notre Dame J. Formal Logic 57 (2), 209-220, (2016) DOI: 10.1215/00294527-3443549
KEYWORDS: guessability, difference hierarchy, descriptive hierarchy, 03E15
Radek Honzík, Jonathan Verner
Notre Dame J. Formal Logic 57 (2), 221-231, (2016) DOI: 10.1215/00294527-3459833
KEYWORDS: Grigorieff forcing, lifting argument, preserving measurability, 03E35, 03E55
Rosalie Iemhoff
Notre Dame J. Formal Logic 57 (2), 233-247, (2016) DOI: 10.1215/00294527-345997
KEYWORDS: unification, admissible rules, modal logic, fragments, 03F03, 03B45, 03B70
Joanna Golińska-Pilarek, Taneli Huuskonen
Notre Dame J. Formal Logic 57 (2), 249-279, (2016) DOI: 10.1215/00294527-3470547
KEYWORDS: non-Fregean logic, sentential calculus with identity, identity connective, situational semantics, 03B60, 03C80, 68Q19
Christian Espíndola
Notre Dame J. Formal Logic 57 (2), 281-286, (2016) DOI: 10.1215/00294527-3470433
KEYWORDS: completeness, constructive reverse mathematics, Kripke semantics, algebraic semantics, 03F50, 03E35, 03E25
Elia Zardini
Notre Dame J. Formal Logic 57 (2), 287-327, (2016) DOI: 10.1215/00294527-3429057
KEYWORDS: analetheism, contraction, dialetheism, naive truth, restricted quantification, substructural logics, transitivity, 03, A05, B20, B47, B53, B65
Back to Top