×
达斯、利坦·库马尔；库马尔·桑卡尔·雷

Fitting逻辑代数的双拓扑对偶性和自然对偶扩展。 （英文） Zbl 1529.03169号

学报信息。 58，第5期，571-584（2021年）.
摘要：本文研究了Fitting多值逻辑代数的双拓扑对偶。我们还扩展了（mathbb{ISP_I}（mathcal{L}）的自然对偶理论，为（mathbb{ISP}（mathcal{L}））发展了一个对偶，其中（mathcal{L}\）是一个有限代数，其中底层格是有界分布的。

MSC公司：

03B50号 多值逻辑
03G25号 与逻辑相关的其他代数
06年50月 格与对偶
PDF格式BibTeX公司 XML格式引用
\textit｛L.K.Das｝和\textit｛K.S.Ray｝，《情报法》第58卷，第5751-584号（2021；兹比尔1529.03169）
全文： 内政部 arXiv公司

参考文献：

[1] Abramsky，S.：《厨师的金融非健康之旅》（Cook’S Tour of Finitary Non-Well-Founded Sets）。Citeser公司·Zbl 1279.03073号
[2] Abramsky，S.，《逻辑形式的领域理论》，《纯粹应用》。逻辑，51，1-2，1-77（1991）·Zbl 0737.03006号 ·doi:10.1016/0168-0072（91）90065-T
[3] 阿达梅克，JH；Herrlich，H。；斯特里克，通用电气，《抽象与具体分类》（2009），米尼奥拉，纽约：多佛出版社，米尼奥拉，纽约·Zbl 0695.18001号
[4] Adnadzhevich，D.，双拓扑空间的双紧性，数学杂志。科学。，37, 3, 1059-1063 (1987) ·兹比尔0613.54019 ·doi:10.1007/BF01086632
[5] Bezhanishvili，G。；北卡罗来纳州贝扎尼什维利。；Gabelaia，D。；Kurz，A.，分配格和Heyting代数的双拓扑对偶，数学。结构。计算。科学。，20, 3, 359-393 (2010) ·Zbl 1193.06012号 ·doi:10.1017/S096012909990302
[6] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（2002），剑桥：剑桥大学出版社，剑桥·Zbl 0988.03006号
[7] Bonsange，M.M.：语义中的拓扑二重性。阿姆斯特丹Vrije大学（1996）·Zbl 0964.68084号
[8] Brink，C.，Rewitsky，I.：程序语义的范式：权力结构和二元性。语言和Inf研究中心（2001年）
[9] 克拉克，DM；Davey，BA，《工作代数学家的自然二重性》（1998），剑桥：剑桥大学出版社，剑桥·Zbl 0910.08001号
[10] Davey，B.A.，Werner，H.：各种代数的对偶性和等价性。对晶格理论的贡献（Szeged，1980），（Huhn，AP，and Schmidt，ET，eds）Colloq.Math。Soc.J anos Bolyai，第33卷，101-275，（1983）·兹比尔0503.08011
[11] Davey，文学学士；Priestley，HA，《格与秩序导论》（2002），剑桥：剑桥大学出版社，剑桥·Zbl 1002.06001号 ·doi:10.1017/CBO9780511809088
[12] 爱泼斯坦，G.，《后代数的格理论》。美国数学。《社会学杂志》，95,230-317（1960）·Zbl 0207.29403号 ·doi:10.1090/S0002-9947-1960-0112855-8
[13] Fitting，M.，多值模态逻辑，Fundam。Inf.，15，3-4，235-254（1991）·Zbl 0745.03018号
[14] Fitting，M.，多值模态逻辑II，Fundam。Inf.，17，1-2，55-73（1992）·Zbl 0772.03006号
[15] Hansoul，G.，带算子布尔代数的对偶，代数普遍性，17，1，34-39（1983）·Zbl 0524.06022号 ·doi:10.1007/BF01194512
[16] Esakia，L.，Heyting代数：对偶理论（2019），柏林：施普林格出版社，柏林·Zbl 1436.06001号 ·doi:10.1007/978-3-030-12096-2
[17] 胡，TK，关于原代数理论的拓扑对偶性，代数普遍性，1,152-154（1971）·Zbl 0236.08005号 ·doi:10.1007/BF02944971
[18] Johnstone，PT，Stone Spaces（1982），剑桥：剑桥大学出版社，剑桥·Zbl 0499.54001号
[19] Jónsson，B。；Tarski，A.，带算子的布尔代数I，Am.J.Math。，73, 4, 891-939 (1951) ·Zbl 0045.31505号 ·数字对象标识代码：10.2307/2372123
[20] Jung，A.，Moshier，M.A.：《关于斯通二元性的双拓扑性质》，第13卷。伯明翰大学计算机科学研究报告学院（2006）
[21] Kelly，J.C.：双拓扑空间。伦敦数学学会会刊。3(1), 71-89 (1963) ·Zbl 0107.16401号
[22] 库普克，C。；A.库尔兹。；Venema，Y.，Stone coargebras，Theor出版社。计算。科学。，327, 1-2, 109-134 (2004) ·Zbl 1075.68053号 ·doi:10.1016/j.tcs.2004.07.023
[23] Lauridsen，F.M.：双拓扑Vietoris空间和正模态逻辑。硕士论文，ILLC出版物，技术说明（X）系列。报告编号：X-2015-01（2015）
[24] Mac Lane，S.，《工作数学家的类别》，《数学研究生教材》（1998年），柏林：施普林格出版社，柏林·Zbl 0906.18001号
[25] Maruyama，Y.：分配格和Heyting代数的Stone对偶的泛代数扩张。Citeser公司
[26] Maruyama，Y.，格值逻辑和格值模态逻辑的代数研究，计算机科学讲义，5378172-186（2009）·Zbl 1209.03018号
[27] Maruyama，Y.，Fitting多值模态逻辑代数的对偶性，信息学基础，106，2-4，273-294（2011）·Zbl 1259.03090号 ·doi:10.333/FI-2011-387
[28] Maruyama，Y.：自然二元性、情态和联合。J.纯应用。代数自然对偶模型。科尔盖布拉。216(3), 565-580 (2012) ·Zbl 1263.08002号
[29] Priestley，HA，用有序Stone空间表示分配格，伦敦数学学会公报，2186-190（1970）·Zbl 0201.01802号 ·doi:10.1112/blms/2.2.186
[30] Ray，K.S.，Das，L.K.：格值逻辑代数和格值模态逻辑的范畴研究。arXiv预印arXiv:1808.06464（2018）·Zbl 1465.18005号
[31] Salbany，S.，Bitopological Spaces，Compacifications and Completions（1974），开普敦：数学。开普敦大学专著·兹比尔0353.54021
[32] Sankappanavar，H.P.，Burris，S.：普适代数课程。研究生数学课文。1981年第78卷·Zbl 0478.08001号
[33] Smyth，M.B.：幂域和谓词变换器：拓扑视图。语言和编程。施普林格，国际自动化学术讨论会（1983年）·Zbl 0533.68018号
[34] Stone，MH，分布格的拓扑表示和Brouwerian Logics，《采阿索匹斯pro pěsiovánímatematiky a fysiky》，67，1-25（1937）
[35] 斯通，MH，布尔代数的表示，布尔。美国数学。《社会学杂志》，第44、12、807-816页（1938年）·Zbl 0020.34204号 ·doi:10.1090/S002-9904-1938-06871-1
[36] Teheux，B.，Łukasiewicz n+1值模态系统代数的对偶性，Stud.Logica，87，1，13-36（2007）·Zbl 1127.03050号 ·doi:10.1007/s11225-007-9074-5
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。