VOL. 61 · NO. 3 | September 2020
Notre Dame J. Formal Logic 61 (3), (September 2020) Open Access
No abstract available
Will Johnson
Notre Dame J. Formal Logic 61 (3), 363-381, (September 2020) DOI: 10.1215/00294527-2020-0017
KEYWORDS: algebraically closed valued fields, elimination of imaginaries, generic stability, NIP, 03C60
Nissim Francez
Notre Dame J. Formal Logic 61 (3), 383-402, (September 2020) DOI: 10.1215/00294527-2020-0015
KEYWORDS: restricted quantification, first-order connexive logics, connexive class theory, connexive algebra, paraconsistent, logical consequence, 03A05, 03B60
David Chodounský, Jindřich Zapletal
Notre Dame J. Formal Logic 61 (3), 403-408, (September 2020) DOI: 10.1215/00294527-2020-0012
KEYWORDS: ideal, genericity criterion, Ultrafilter, 03E40, 03E25
Calixto Badesa, Joan Bertran-San Millán
Notre Dame J. Formal Logic 61 (3), 409-440, (September 2020) DOI: 10.1215/00294527-2020-0014
KEYWORDS: Frege, Begriffsschrift, concept-script, second-order logic, substitution rule, 01A55, 03B1F
Erick García Ramírez
Notre Dame J. Formal Logic 61 (3), 441-465, (September 2020) DOI: 10.1215/00294527-2020-0013
KEYWORDS: real closed valued fields, O-minimality, T-convex fields, t-stratifications, Jacobian property, b-minimality, Whitney stratifications, 03C98, 03C64, 14P10
Jon Erling Litland
Notre Dame J. Formal Logic 61 (3), 467-499, (September 2020) DOI: 10.1215/00294527-2020-0016
KEYWORDS: ground, puzzles, asymmetry, hypergraphs, 03A05, 03A99, 03B47, 05C65
Alexander R. Pruss
Notre Dame J. Formal Logic 61 (3), 501, (September 2020) DOI: 10.1215/00294527-2020-0019
KEYWORDS: conditionals, Probability, measure theory, measure algebra, conditional probability, 60A10, 60A99
No abstract available
Back to Top