VOL. 62 · NO. 2 | May 2021
Notre Dame J. Formal Logic 62 (2), (May 2021)
No abstract available
Sergi Oms, Elia Zardini
Notre Dame J. Formal Logic 62 (2), 201-220, (May 2021) DOI: 10.1215/00294527-2021-0020
KEYWORDS: Curry’s paradox, dialetheism, inclosure schema, liar paradox, modus ponens, Sorites paradox, tolerance, 03A05, 03B53
Iris van der Giessen, Rosalie Iemhoff
Notre Dame J. Formal Logic 62 (2), 221-246, (May 2021) DOI: 10.1215/00294527-2021-0011
KEYWORDS: cut-admissibility, Intuitionistic logic, sequent calculi, Gödel–Löb logic, 03F05, 03F45, 03B20
Andreas Fjellstad, Jan-Fredrik Olsen
Notre Dame J. Formal Logic 62 (2), 247-256, (May 2021) DOI: 10.1215/00294527-2021-0012
KEYWORDS: non-contractive truth, multiplicative quantifiers, infinitary sequents, soundness, ω-inconsistency, inconsistency, vacuous quantification, 03B47, 03C90, 03C75
Pantelis E. Eleftheriou, Omar León Sánchez, Nathalie Regnault
Notre Dame J. Formal Logic 62 (2), 257-268, (May 2021) DOI: 10.1215/00294527-2021-0013
KEYWORDS: closed ordered differential fields, dense pairs in o-minimal structures, differential dimension, large dimension, 03C98, 03C60, 03C64
David R. Gilbert, Giorgio Venturi
Notre Dame J. Formal Logic 62 (2), 269-283, (May 2021) DOI: 10.1215/00294527-2021-0014
KEYWORDS: boxdot translation, modal logic of forcing, Blok–Esakia theorem, 03B45, 03F45, 03E57
Andrew Joseph McCarthy
Notre Dame J. Formal Logic 62 (2), 285-301, (May 2021) DOI: 10.1215/00294527-2021-0015
KEYWORDS: Barcan formulas, quantified modal logic, necessitism, contingentism, 03B45
Stefano Guerrini, Andrea Masini
Notre Dame J. Formal Logic 62 (2), 303-343, (May 2021) DOI: 10.1215/00294527-2021-0016
KEYWORDS: proof theory, proof nets, classical logic, 03F03, 03F7, 03F05
Saronsad Sokantika, Athipat Thamrongthanyalak
Notre Dame J. Formal Logic 62 (2), 345-352, (May 2021) DOI: 10.1215/00294527-2021-0019
KEYWORDS: definable completeness, linear functional equations, affine bundles, selections, 03C64, 47H10, 54H25
Chris J. Conidis
Notre Dame J. Formal Logic 62 (2), 353-368, (May 2021) DOI: 10.1215/00294527-2021-0017
KEYWORDS: computability, Ring, module, radical, 03D80, 03F65
Bruno Da Ré
Notre Dame J. Formal Logic 62 (2), 369-398, (May 2021) DOI: 10.1215/00294527-2021-0018
KEYWORDS: theories of truth, substructural logics, weakening, semantic paradoxes, 03B47, 03B80, 03F99
Back to Top