Notes on the Model Theory of DeMorgan Logics

Notre Dame Journal of Formal Logic 53 (1):113-132 (2012)
  Copy   BIBTEX

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

Author's Profile

Thomas Ferguson
City University of New York

Analytics

Added to PP
2012-05-10

Downloads
259 (#32,124)

6 months
35 (#30,283)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?