VOL. 54 · NO. 1 | 2013
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 54 (1), (2013)
No abstract available
Articles
Hunter Johnson
Notre Dame J. Formal Logic 54 (1), 1-13, (2013) DOI: 10.1215/00294527-1731335
KEYWORDS: model theory, VC dimension, NIP, dp-minimal, VC density, 12L12, 03C45, 03C98
Jc Beall, Thomas Forster, Jeremy Seligman
Notre Dame J. Formal Logic 54 (1), 15-20, (2013) DOI: 10.1215/00294527-1731353
KEYWORDS: LP, detachment-free logics, detachable connective, Paradox, relevance logics, variable-sharing, paraconsistent logic, 03B53, 03B47, 03B80
Daniel R. Patten
Notre Dame J. Formal Logic 54 (1), 21-31, (2013) DOI: 10.1215/00294527-1731362
KEYWORDS: mereology, topology, mereotopology, convergence space, general extensional mereology, Set theory, 06A06, 54A20
Yun Lu
Notre Dame J. Formal Logic 54 (1), 33-46, (2013) DOI: 10.1215/00294527-1731371
KEYWORDS: reduct, random, bipartite, 03C99, 05C99
Samuel Alexander
Notre Dame J. Formal Logic 54 (1), 47-59, (2013) DOI: 10.1215/00294527-1731380
KEYWORDS: variadic, syntax, ellipsis, substitution lemma, 03B10
Wenyan Xu, Sanyang Liu
Notre Dame J. Formal Logic 54 (1), 61-78, (2013) DOI: 10.1215/00294527-1731389
KEYWORDS: Computability logic, cirquent calculus, Interactive computation, Game semantics, resource semantics, 03B47, 03B70, 68Q10, 68T27, 68T15
Florian Steinberger
Notre Dame J. Formal Logic 54 (1), 79-86, (2013) DOI: 10.1215/00294527-1731398
KEYWORDS: logical inferentialism, harmony, logical constants, proof theory, 03A99
Andrew Bacon
Notre Dame J. Formal Logic 54 (1), 87-104, (2013) DOI: 10.1215/00294527-1731407
KEYWORDS: liar paradox, contractionless logic, nonclassical logic, Curry’s paradox, semantic paradoxes, fixed point Theorem, 03B20, 03B50, 03B47, 03Axx
Stephen Binns, Marie Nicholson
Notre Dame J. Formal Logic 54 (1), 105-123, (2013) DOI: 10.1215/00294527-1731416
KEYWORDS: effective Hausdorff dimension, effective packing dimension, Kolmogorov complexity, computability theory, effective metric, 03D32, 68Q30
Back to Top