托马斯·麦考利·弗格森 关于德摩根逻辑模型理论的注释。 （英语） Zbl 1254.03047号 圣母院J.形式逻辑 53，第1期，113-132（2012）. 小结：本文对德摩根逻辑的模型理论进行了初步探讨。我们证明了Łosh定理对这些逻辑是成立的，并对这种情况下的标准模型理论性质作了一些评论。更具体地说，作为一个案例研究，我们检验了康托定理的命运，即没有端点的稠密线性序的经典理论是（aleph{0}）范畴的，并且我们表明，取超积与以前建立的构造非经典结构的方法是相互抵消的，即：，三值逻辑中的普里斯特折叠引理和邓恩定理。 引用于5文件 理学硕士： 03B50号 多值逻辑 03C20号 Ultra产品和相关结构 03C90号 非经典模型（布尔值、层等） 关键词：多值逻辑;模型理论;超产品 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Ferguson}，《圣母院J.形式逻辑》53，第1期，第113--132页（2012；Zbl 1254.03047） 全文： 内政部 欧几里得 参考文献： [1] Dunn，J.M.，“与数论、类型论和相关逻辑相关的三值模型理论中的定理”，Studia Logica，第38卷（1979），第149-69页·Zbl 0406.03030号 ·doi:10.1007/BF00370439 [2] H·菲尔德，《从悖论中拯救真理》，牛津大学出版社，牛津，2008年·Zbl 1225.03006号 [3] Mortensen，C.，《不一致数学》，《数学及其应用》第312卷，Kluwer学术出版集团，多德雷赫特，1995年·Zbl 0827.03013号 [4] Paris，J.B.和N.Pathmanathan，“关于牧师有限不一致算术的注释”，《哲学逻辑杂志》，第35卷（2006年），第529-37页·兹比尔1101.03023 ·doi:10.1007/s10992-006-9031-1 [5] Priest，G.，“最小不一致LP”，Studia Logica，第50卷（1991年），第321-31页·Zbl 0748.03017号 ·doi:10.1007/BF00370190 [6] Priest，G.，“不一致的算术模型。I.有限模型”，《哲学逻辑杂志》，第26卷（1997年），第223-35页·Zbl 0878.03017号 ·doi:10.1023/A:1004251506208 [7] 牧师G.，“不一致的算术模型。II”。一般案例，《符号逻辑杂志》，第65卷（2000年），第1519-29页·Zbl 0972.03027号 ·doi:10.2307/2695062 [8] 牧师G.，《非经典逻辑导论》。《从如果到是》，第二版，剑桥哲学导论。剑桥大学出版社，剑桥，2008年·Zbl 1148.03002号 [9] 奎因，W.V.O.，《逻辑哲学》，第2版，哈佛大学出版社，剑桥，1986年·Zbl 0391.03001号 [10] Rothmaler，P.，《模型理论导论》，《代数、逻辑和应用》第15卷，Taylor和Francis，纽约，2000年·Zbl 0962.03023号 [11] Schoutens，H.，《超积在交换代数中的应用》，数学讲义第1999卷，Springer-Verlag，柏林，2010年·Zbl 1205.13002号 ·doi:10.1007/978-3-642-13368-8 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。