VOL. 61 · NO. 4 | November 2020
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 61 (4), (November 2020)
No abstract available
Articles
Tarek Sayed Ahmed
Notre Dame J. Formal Logic 61 (4), 503-519, (November 2020) DOI: 10.1215/00294527-2020-0022
KEYWORDS: algebraic logic, modal logic, cylindric algebras, relation algebras, combinatorial game theory, omitting types, 03G15, 03B45
Yong Liu, Cheng Peng
Notre Dame J. Formal Logic 61 (4), 521-536, (November 2020) DOI: 10.1215/00294527-2020-0023
KEYWORDS: Ershov hierarchy, n-r.e. degrees, (ω+1)-r.e. degrees, Density, nondensity, 03D28
Sam Sanders
Notre Dame J. Formal Logic 61 (4), 537-559, (November 2020) DOI: 10.1215/00294527-2020-0021
KEYWORDS: higher-order reverse mathematics, topology, splittings, 03B30, 03F35
Ethan Brauer
Notre Dame J. Formal Logic 61 (4), 561-572, (November 2020) DOI: 10.1215/00294527-2020-0020
KEYWORDS: potential infinity, potentialism, modal logic, free logic, mirroring theorem, 03B45, 00A30
Juan P. Aguilera, Sandra Müller
Notre Dame J. Formal Logic 61 (4), 573-589, (November 2020) DOI: 10.1215/00294527-2020-0027
KEYWORDS: infinite game, determinacy, inner model theory, Game Quantifier, large cardinal, Mouse, 03E45, 03E60, 03E15, 03E55
Ryo Kashima, Naosuke Matsuda, Takao Yuyama
Notre Dame J. Formal Logic 61 (4), 591-600, (November 2020) DOI: 10.1215/00294527-2020-0028
KEYWORDS: typed lambda calculus, soundness, completeness, 03B40, 03F03
Adam Přenosil
Notre Dame J. Formal Logic 61 (4), 601-621, (November 2020) DOI: 10.1215/00294527-2020-0025
KEYWORDS: Belnap–Dunn logic, exactly true logic, four-valued logic, nonclassical logic, abstract algebraic logic, paraconsistent logic, 03B50, 03B53, 03G27
Philip Scowcroft
Notre Dame J. Formal Logic 61 (4), 623-661, (November 2020) DOI: 10.1215/00294527-2020-0026
KEYWORDS: closure algebra, existentially closed, finitely generic, infinitely generic, 03C60, 06E25, 03C25
Back to Top