×
马塞尔·杰克逊；蒂姆·斯托克斯

模态限制半群：朝向函数代数。 （英语） 兹比尔1256.20058

国际代数计算杂志。 21，第7期，1053-1095（2011）.
部分映射的限制半群模型代数在合成和单位映射对函数（域）的限制的一元运算下。作者考虑了限制半群，对其进行了域上常见的布尔运算建模。这种代数能够建模动态逻辑中考虑的常见模态算子。事实上，在签名中添加一个自然的并集函数变体，就得到了模态半环的确定性版本B.莫勒和G.结构【Theor.Compute.Sci.351，No.2，221-239（2006；Zbl 1086.68082号)]，也是经典限制范畴的单体版本R.Cockett公司和E.马内斯[数学结构计算科学.19，第2期，357-416（2009；Zbl 1191.03049号)]. 建模的其他操作是交集和（在有限情况下）函数迭代。在每种情况下，都给出了具体函数示例的公理化，从而得到了部分映射的代数模型，其中包含了先前考虑的所有与域相关的和集理论操作。这些代数为确定性计算机程序的逻辑提供了自然代数语义，从而为命题动态逻辑的某些变体带来了新的结果。
审核人：列奥尼德·马丁诺夫（鄂木斯克）

引用于18文件

MSC公司：

20平方米 变换、关系、分区等的半群。
08A70号 泛代数在计算机科学中的应用
60年第68季度 规范和验证（程序逻辑、模型检查等）
03B45 模态逻辑（包括规范逻辑）
03B70号 计算机科学中的逻辑

关键词：

限制半群；部分函数代数；关系代数；eq单体；动态代数；具有域的Kleene代数；命题动态逻辑；模态半环

引文：

Zbl 1086.68082号；Zbl 1191.03049号
PDF格式BibTeX公司 XML格式引用
\textit{M.Jackson}和\textit{T.Stokes}，《国际代数计算》。21，第7号，1053--1095（2011；Zbl 1256.20058）
全文： 内政部

参考文献：

[1] 内政部：10.1142/9789812831644·doi:10.1142/9789812831644
[2] DOI:10.1007/978-94-011-0149-3_4·doi:10.1007/978-94-011-0149-34
[3] 内政部：10.3166/1月13日231-276·Zbl 1181.03030号 ·doi:10.3166/1月13日231-276
[4] 内政部：10.1016/0022-0000（82）90018-6·Zbl 0512.03013号 ·doi:10.1016/0022-0000（82）90018-6
[5] 内政部：10.1017/CBO9781107050884·doi:10.1017/CBO9781107050884
[6] 内政部：10.1007/978-1-4613-8130-3·doi:10.1007/978-1-4613-8130-3
[7] 内政部：10.1007/s00012-004-1917-6·Zbl 1088.08006号 ·文件编号：10.1007/s00012-004-1917-6
[8] DOI:10.1016/S0304-3975（00）00382-0·Zbl 0988.18003号 ·doi:10.1016/S0304-3975（00）00382-0
[9] 内政部：10.1017/S096012909007543·Zbl 1191.03049号 ·doi:10.1017/S096012909007543
[10] DOI:10.1007/3-540-16066-3_5·doi:10.1007/3-540-16066-3-5
[11] 内政部：10.1017/S00049727000096·Zbl 0403.08008号 ·doi:10.1017/S00049727000096
[12] 内政部：10.1142/S0218196701000644·Zbl 1025.08003号 ·doi:10.1142/S0218196701000644
[13] 内政部：10.1145/1183278.1183285·Zbl 1367.68205号 ·doi:10.1145/1183278.1183285
[14] DOI:10.1081/AGB-120016022·Zbl 1018.20057号 ·doi:10.1081/AGB-120016022
[15] 内政部：10.1007/978-3-540-24771-5_10·电话：10.1007/978-3-540-24771-5_10
[16] 数字对象标识码：10.1142/S021819670300147X·Zbl 1043.08001号 ·doi:10.1142/S021819670300147X
[17] 内政部：10.1016/0022-0000（79）90046-1·Zbl 0408.03014号 ·doi:10.1016/0022-0000（79）90046-1
[18] V.S.Garvac'kii，半群理论及其应用2（Izdat.Saratov大学，Saratov，1971）pp。2–13.
[19] 内政部：10.1007/BF00370341·Zbl 0597.03013号 ·doi:10.1007/BF00370341
[20] 内政部：10.1142/S0218196799000412·Zbl 0948.20036号 ·doi:10.1142/S0218196799000412
[21] DOI:10.1017/S1446788708000542·Zbl 1191.20075号 ·doi:10.1017/S1446788708000542
[22] 内政部：10.1080/00927870902887096·Zbl 1251.20062号 ·doi:10.1080/00927870902887096
[23] 内政部：10.1007/BF01191491·Zbl 0547.08001号 ·doi:10.1007/BF01191491
[24] 内政部：10.1016/0304-3975（83）90097-X·Zbl 0552.68035号 ·doi:10.1016/0304-3975（83）90097-X
[25] 内政部：10.1007/3-540-12689-9_103·doi:10.1007/3-540-12689-9_103
[26] Harel D.，《计算基础系列》，载于《动态逻辑》（2000）
[27] 内政部：10.1090/S0002-9947-99-02264-3·Zbl 0965.03079号 ·doi:10.1090/S0002-9947-99-02264-3
[28] DOI:10.1007/PL00012452·Zbl 1063.08007号 ·doi:10.1007/PL00012452
[29] 数字对象标识码：10.1007/s002330010032·Zbl 0982.20051号 ·doi:10.1007/s002330010032
[30] DOI:10.1016/S0021-8693（03）00314-4·Zbl 1041.20043号 ·doi:10.1016/S0021-8693（03）00314-4
[31] DOI:10.1081/AGB-120039272·Zbl 1069.20055号 ·doi:10.1081/AGB-120039272
[32] 内政部：10.1142/S0218196706003426·Zbl 1117.08003号 ·doi:10.1142/S0218196706003426
[33] 内政部：10.1080/00927870802625562·Zbl 1182.20058号 ·doi:10.1080/00927870802625562
[34] 内政部：10.1142/S0218196709005354·兹比尔1203.08005 ·doi:10.1142/S0218196709005354
[35] Johnstone P.T.，《石头空间》（1982）
[36] Kozen D.C.，通知。计算。第883页第19页–
[37] 内政部：10.1145/343369.343378·Zbl 1365.68326号 ·数字对象标识代码：10.1145/343369.343378
[38] 内政部：10.2178/jsl/1129642115·Zbl 1100.03017号 ·doi:10.2178/jsl/1129642115
[39] 内政部：10.1016/0021-8693（91）90242-Z·Zbl 0747.18007号 ·doi:10.1016/0021-8693（91）90242-Z
[40] DOI:10.1007/s00233-005-0558-1·邮编：1097.2004 ·doi:10.1007/s00233-005-0558-1
[41] DOI:10.1016/S0049-237X（09）70047-3·doi:10.1016/S0049-237X（09）70047-3
[42] DOI:10.1016/j.tcs.2005.09.069·Zbl 1086.68082号 ·doi:10.1016/j.tcs.2005.09.069
[43] DOI:10.1007/BFb0043079·doi:10.1007/BFb0043079
[44] 内政部：10.1007/BF02573019·Zbl 0197.29404号 ·doi:10.1007/BF02573019
[45] Schein B.M.，伊兹夫。维斯什。Učebn。扎韦德。材料4第91页-
[46] Schein B.M.，大学数学。第11页，共31页
[47] B.M.Schein，有序集和格（Izdat.Saratov大学，Saratov，1974），pp。109–113之间。
[48] Schein B.M.、Amer。数学。社会事务处理。序列号。2 113第123页–·Zbl 0404.20057号 ·doi:10.1090/trans2/113/06
[49] Schein B.M.学院。数学。Soc.János Bolyai 54第379页-
[50] 内政部：10.1080/00927879208824453·Zbl 0798.20058号 ·doi:10.1080/00927879208824453
[51] 内政部：10.1007/BF02194309·Zbl 0397.08001号 ·doi:10.1007/BF02194309
[52] DOI:10.1007/BF01351670·Zbl 0163.01403号 ·doi:10.1007/BF01351670
[53] Stokes T.，科学学报。数学。（塞格德）72第481页-
[54] 内政部：10.2307/2268577·Zbl 0026.24401号 ·doi:10.2307/2268577
[55] Trokhimenko V.S.，伊兹夫。维斯什。Učebn。扎韦德。材料11第71页-
[56] DOI:10.1007/BF01236518·Zbl 0799.08010号 ·doi:10.1007/BF01236518
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。