Open Access
2012 Notes on the Model Theory of DeMorgan Logics
Thomas Macaulay Ferguson
Notre Dame J. Formal Logic 53(1): 113-132 (2012). DOI: 10.1215/00294527-1626554

Abstract

We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, namely, Priest's Collapsing Lemma and Dunn's Theorem in 3-Valued Logic.

Citation

Download Citation

Thomas Macaulay Ferguson. "Notes on the Model Theory of DeMorgan Logics." Notre Dame J. Formal Logic 53 (1) 113 - 132, 2012. https://doi.org/10.1215/00294527-1626554

Information

Published: 2012
First available in Project Euclid: 9 May 2012

zbMATH: 1254.03047
MathSciNet: MR2925272
Digital Object Identifier: 10.1215/00294527-1626554

Subjects:
Primary: 03B50 , 03C90

Keywords: many-valued logic , model theory , ultraproducts

Rights: Copyright © 2012 University of Notre Dame

Vol.53 • No. 1 • 2012
Back to Top