Notes on the Model Theory of DeMorgan Logics

Notre Dame Journal of Formal Logic 53 (1):113-132 (2012)
Download Edit this record How to cite View on PhilPapers
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
PhilPapers/Archive ID
Upload history
Archival date: 2014-04-26
View other versions
Added to PP index

Total views
212 ( #29,707 of 2,454,484 )

Recent downloads (6 months)
7 ( #54,247 of 2,454,484 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.