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
Revision history
Archival date: 2014-04-26
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Added to PP index

Total downloads
134 ( #17,668 of 37,176 )

Recent downloads (6 months)
7 ( #30,175 of 37,176 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.