VOL. 56 · NO. 2 | 2015
 
VIEW ALL ABSTRACTS +
Frontmatter
Notre Dame J. Formal Logic 56 (2), (2015)
No abstract available
Articles
David R. Belanger
Notre Dame J. Formal Logic 56 (2), 263-285, (2015) DOI: 10.1215/00294527-2864298
KEYWORDS: degree spectra of structures, weak truth table degrees, 03D45, 03D30
Hsing-chien Tsai
Notre Dame J. Formal Logic 56 (2), 287-306, (2015) DOI: 10.1215/00294527-2864307
KEYWORDS: mereotopology, mereology, decidability, separability, finite separability, 03C99, 06F99
Tapani Hyttinen
Notre Dame J. Formal Logic 56 (2), 307-320, (2015) DOI: 10.1215/00294527-2864316
KEYWORDS: Finite models, stability, independence, 03C13, 03C45
Andrea Sorbi, Sebastiaan A. Terwijn
Notre Dame J. Formal Logic 56 (2), 321-331, (2015) DOI: 10.1215/00294527-2864325
KEYWORDS: weak law of the excluded middle, Brouwer algebras, Medvedev degrees, 03B55, 03G10, 03D30
Takahiro Seki
Notre Dame J. Formal Logic 56 (2), 333-350, (2015) DOI: 10.1215/00294527-2864334
KEYWORDS: Halldén completeness, relevant modal logics, Routley–Meyer semantics, van Benthem–Humberstone theorem, Sahlqvist formulas, 03B45, 03B47
George Voutsadakis
Notre Dame J. Formal Logic 56 (2), 351-378, (2015) DOI: 10.1215/00294527-2864343
KEYWORDS: deductive system, logical matrix, Leibniz congruence, Suszko congruence, truth-equational logics, algebraizable logics, 03G27
Harold T. Hodes
Notre Dame J. Formal Logic 56 (2), 379-415, (2015) DOI: 10.1215/00294527-2864352
KEYWORDS: conversion, lambda-term, proposition, propositional function, propositional paradox, ramified type, 01Axx, 03-03, 03Axx
Back to Top