×

分级模糊拓扑系统和具有分级结果的模糊几何逻辑的分类方法。 (英语) Zbl 1487.54017号


存在以下概念拓扑系统属于S.维克斯【通过逻辑进行拓扑。剑桥等:剑桥大学出版社(1989;Zbl 0668.54001号)]它为拓扑空间(点集拓扑)及其底层代数结构提供了一个通用框架-框架区域设置(无点拓扑)[P.T.约翰斯通,石头空间。剑桥:剑桥大学出版社(1982;Zbl 0499.54001号)]. 简单地说,我们引入了一个类别TopSys公司并证明了locales的范畴(resp.拓扑空间)与该范畴的一个完全(resp.co)反射子范畴同构TopSys公司.

已经存在与S.Vickers的拓扑系统概念的模糊类比,例如[J.T.丹尼斯顿等,模糊集系统。192, 58–103 (2012;Zbl 1244.54013号)]和[S.A.Solovyov公司,软计算。14,第10期,1059–1068(2010年;Zbl 1197.54018号)]基于\(L\)-模糊集属于J.A.戈根【《数学杂志》,《分析应用》,第18期,第145-174页(1967年;Zbl 0145.24404号)]. 本文在拓扑系统理论的模糊化中又迈出了一步,即考虑模糊拓扑空间和系统的上述“(共)反射子范畴”关系的类似物,以及它们潜在的代数结构(作者基本上在所讨论的范畴之间构造了某些函子)。特别地,受与拓扑系统相关的几何逻辑的启发,本文考虑了具有分级结果的模糊几何逻辑,并将其用于建立模糊拓扑系统的新理论。

这篇论文写得很好,给出了大部分必要的预备知识(省略的概念可以在论文末尾的一篇参考文献中找到),对于研究模糊拓扑和/或模糊逻辑的研究人员来说,这将是很有意义的。

MSC公司:

54A40型 模糊拓扑
03B52号 模糊逻辑;模糊逻辑
18B99型 特殊类别
18楼70 框架和区域设置、无点拓扑、Stone二元性
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Chakraborty,M.K.,分级结果:进一步研究,应用非经典逻辑杂志,5,2,227-238(1995)·Zbl 0839.03010号 ·网址:10.1080/11663081.1995.10510857
[2] 查克拉博蒂,M.K。;Ahsannullah,T.M.G.,模糊集上的模糊拓扑和容差拓扑,模糊集与系统,45,1,103-108(1992)·Zbl 0754.54004号 ·doi:10.1016/0165-0114(92)90096-M
[3] 查克拉博蒂,M.K。;Dutta,S.,《重访分级结果》,模糊集与系统,161,14,1885-1905(2010)·Zbl 1205.03033号 ·doi:10.1016/j.fss.2010.02.007
[4] 查克拉博蒂,M.K。;Jana,P.,《基于分级结果的模糊几何逻辑的模糊拓扑》,《国际近似推理杂志》,80,2,334-347(2017)·Zbl 1401.54007号 ·doi:10.1016/j.ijar.2016.10.003
[5] 丹尼斯顿,J.T。;梅尔顿,A。;Rodabough,S.E.,交织代数与拓扑:格值拓扑系统,模糊集与系统,192,3,58-103(2012)·Zbl 1244.54013号 ·doi:10.1016/j.fss.2011.07.001
[6] 丹尼斯顿,J.T。;梅尔顿,A。;罗德堡,S.E。;Solovyov,S.A.,作为格值拓扑系统的格值预序集,模糊集与系统,259,4,89-110(2015)·Zbl 1360.54012号 ·doi:10.1016/j.fss.2014.04.022
[7] 杜塔,S。;Chakraborty,M.K.,带有模糊前提集的分级结果,《基础信息》,133,1,1-18(2014)·Zbl 1302.03040号 ·doi:10.3233/FI-2014-1059
[8] 贾纳,P。;Chakraborty,M.K.,模糊拓扑系统与模糊拓扑空间和底层代数的范畴关系,模糊数学年鉴。和通知。,8, 5, 705-727 (2014) ·Zbl 1306.54009号
[9] Jana,P.和Chakraborty,M.K.(2015)。关于各种模糊拓扑系统、模糊拓扑空间和相关代数结构之间的范畴关系。第13届亚洲逻辑会议论文集(第124-135页)。世界科学·Zbl 1432.54006号
[10] Rodabaugh,S.E.,《模糊拓扑、模糊集和系统的各种概念的分类适应》,9,1-3,241-265(1983)·Zbl 0527.54005号 ·doi:10.1016/S0165-0114(83)80026-8
[11] Rodabaugh,S.E.(1999)。变基模糊拓扑的分类基础。U.Höhle&S.E.Rodabaugh(编辑),《模糊集数学:逻辑、拓扑和测度理论》(第273-388页)。模糊集合系列手册,第3卷。Kluwer学术出版社·Zbl 0968.54003号
[12] Solovyov,S.,可变基拓扑系统与可变基拓扑空间,软计算,14,10,1059-1068(2010)·Zbl 1197.54018号 ·doi:10.1007/s00500-009-0485-2
[13] Vickers,S.J.(1989)。通过逻辑的拓扑,第5卷,剑桥理论计算机科学丛书。剑桥大学出版社·Zbl 0668.54001号
[14] Vickers,S.J.(2010年)。本体论中的逻辑、代数和拓扑问题。R.Poli、M.Healy和A.Kameas(编辑),《本体论的理论和应用:计算机应用》,《本体理论和应用》第2卷。斯普林格。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。