×

半格、不完全信息和谓词变换的模糊表示。 (英语) Zbl 1481.06021号

摘要:引入了连续半格在另一个连续半格中的Crip和格值模糊表示,并定义了取上述关系的伪逆的运算。证明了取伪逆为对合的连续半格及其模糊表示构成范畴。得到了这些类别的自对偶和逆变等价。讨论了不完全信息处理的可能解释和应用。

MSC公司:

2012年6月 半格
06B35号 连续格和偏序集,应用
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Akian,M.,不变测度和大偏差的密度,Trans。阿默尔。数学。《社会学杂志》,351,11,4515-4543(1999)·Zbl 0934.28005号 ·doi:10.1090/S0002-9947-99-02153-4
[2] Bergmann,M.,《多值和模糊逻辑导论:语义、代数和派生系统》(2008),纽约:剑桥大学出版社,纽约·Zbl 1148.03001号
[3] Edalat,A.,《数学、物理和精确实数计算领域》,布尔。符号。逻辑,3,4,401-452(1997)·Zbl 0946.03055号 ·doi:10.2307/421098
[4] Erné,M.:Z分布函数空间预印本(1998)
[5] Gierz,G.,Hofmann,K.H.,Keimel,K.,Lawson,J.D.,Mislove,M.,Scott,D.S.,《格,连续:数学及其应用领域百科全书》,第93卷。剑桥大学出版社,纽约(2003)·Zbl 1088.06001号
[6] Cohen,G.,Gaubert,S.,Quadrat J.-P.:幂等半模中的对偶和分离定理。arXiv:math/0212294v2[math.FA],29(2003)·Zbl 1042.46004号
[7] Hájek,P.,《具有非对易连接的模糊逻辑》,《逻辑计算杂志》,13,4,469-479(2003)·Zbl 1036.03018号 ·doi:10.1093/logcom/13.4.469
[8] Heckmann,R.,Huth,M.:定量语义的对偶理论。摘自:第11届计算机科学逻辑国际研讨会论文集,计算机科学讲稿第1414卷。Springer Verlag,255-274(1998)·Zbl 0908.06004号
[9] Johnstone,PT,Stone spaces剑桥高等数学研究,第3卷(1983年),纽约:剑桥大学出版社,纽约
[10] Mac Lane,S.,《工作数学家的类别》(1998),纽约:施普林格出版社,纽约·兹标0906.18001
[11] Melliès,P-A,对话类别和手性,Publ。Res.Inst.数学。科学。,52, 4, 359-412 (2016) ·兹比尔1402.18008 ·doi:10.4171/PRIMS/185
[12] Nykyforchyn,OR,紧Hausdorff格中的电容值,应用。类别。结构。,15, 3, 243-257 (2008) ·Zbl 1141.18004号 ·doi:10.1007/s10485-007-9061-z
[13] O.Nykyforchyn。;Mykytsey,O.,半格上的共轭测度,Visnyk Lviv大学,72221-231(2010)·Zbl 1240.54037号
[14] O.Nykyforchyn。;Mykytsey,O.,谓词半模之间的L-幂等线性算子,对偶和共轭算子,舍甫琴科科学学会数学公报,8299-314(2011)·Zbl 1265.03023号
[15] O.Nykyforchyn。;雷波夫什,D.,模糊表示为集之间的模糊关系,模糊集。系统。,173, 25-44 (2011) ·Zbl 1226.03054号 ·doi:10.1016/j.fss.2011.02.007
[16] 俄勒冈州Nykyforchyn;Repovš,D.,L-fuzzy最强后条件谓词变换,作为单调谓词半模之间的L-幂等线性或仿射算子,fuzzy Set。系统。,208, 67-78 (2012) ·Zbl 1252.68194号 ·doi:10.1016/j.fss.2012.06.007
[17] Scott,D.S.Nielsen,M.,Schmidt,E.M.(编辑):指称语义的域。柏林施普林格出版社(1982)·Zbl 0495.68025号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。