×
马塞尔·杰克逊;米库拉斯（Mikulás，Szabolcs）

天使和恶魔作品的领域和范围。 （英语） Zbl 1417.68033号

J.日志。阿尔盖布。方法计划。 103, 62-78 (2019).
摘要：当半群运算分别被解释为天使合成或恶魔合成时，我们给出了由可表示域范围代数生成的簇的有限公理化。

引用于2文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
08A70号 泛代数在计算机科学中的应用
20个M10 半群的一般结构理论

关键词：

域范围代数;有限公理化;天使般的构图;恶魔组成
PDF格式BibTeX公司 XML格式引用
\textit{M.Jackson}和\textit{S.MikuláS}，J.Log。阿尔盖布。方法程序。103、62-78（2019年；Zbl 1417.68033）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Andréka，H.，分配格序半群的二元关系表示，代数宇宙。，28, 12-25 (1991) ·Zbl 0725.06007号
[2] 安德雷卡，H。；Bredikhin，D.A.，无单位关系代数的方程理论，代数大学。，33, 516-532 (1995) ·Zbl 0826.03013号
[3] Backhouse，R。；van der Woude，J.，《恶魔算子和单型因子》，数学。结构。计算。科学。，3, 4, 417-433 (1993) ·Zbl 0797.68114号
[4] Batbedat，A.，（γ）-半群，半模，produit demi-direct（Semigroups Proceedings:Oberwolfach 1979）。半群论文集：Oberwolfach 1979，Lect。数学笔记。，第855卷（1981），施普林格·弗拉格），1-18，（法语）·兹比尔0452.20059
[5] Berghammer，R。；Schmidt，G.，关系规范，（逻辑和计算机科学中的代数方法），逻辑和计算机中的代数法，华沙，1991年。逻辑和计算机科学中的代数方法。《逻辑和计算机科学中的代数方法》，华沙，1991年，巴纳赫中心。出版物。，第28卷（1993年），波兰学院。科学。数学说明：波兰学院。科学。Inst.数学。华沙），167-190年·Zbl 0791.68104号
[6] Bredkhin，D.A.，一些二元关系代数类的抽象特征，代数数论，第2卷，3-19（1977），Kabardino-Balkarsk。戈斯。大学：卡巴迪诺·巴卡尔斯克。戈斯。Nalchik大学（俄语）·Zbl 0394.04001号
[7] 布罗伊，M。；格纳茨，R。；Wirsing，M.，《不确定性和非连续结构的语义》，（Bauer，F.L.；Broy，M.，《程序建设》，国际暑期学校。《程序建设》，国际暑期学校，马克托贝尔多夫，1978年。项目建设，国际。暑期学校。项目建设，国际。马克托伯多夫暑期学校，1978年，Lect。注释计算。科学。，第69卷（1979），《施普林格：施普林格·柏林/海德堡/纽约》，553-592·Zbl 0406.03059号
[8] Cockett，J.R.B。；郭，X。；Hofstra，P.，范围类别I：一般理论，理论应用。类别。，26, 412-452 (2012) ·Zbl 1252.18003号
[9] Cockett，J.R.B。；郭，X。；Hofstra，P.，《范围类别II：走向规律，理论应用》。类别。，26453-500（2012年）·Zbl 1252.18004号
[10] Cockett，J.R.B。；Lack，S.，限制范畴I.部分映射的范畴，Theor。计算。科学。，270, 223-259 (2002) ·Zbl 0988.18003号
[11] 科科特，R。；Manes，E.，布尔和经典限制类别，数学。结构。计算。科学。，19, 357-416 (2009) ·Zbl 1191.03049号
[12] Demri，S。；或łowska，E.，《恶魔非确定性程序的逻辑分析》，Theor。计算。科学。，166, 173-202 (1996) ·Zbl 0872.03018号
[13] Desharnais，J。；吉普森，P。；Struth，G.，域和反域半群，（计算机科学中的关系和克莱恩代数。计算机科学中的关系和克莱恩代数，Lect.Notes Comput.Sci.，vol.5827（2009），施普林格：施普林格柏林），73-87·Zbl 1267.03067号
[14] Desharnais，J。；Möller，B。；Struth，G.，带域的Kleene代数，ACM Trans。计算。日志。，7, 798-833 (2006) ·Zbl 1367.68205号
[15] Dijkstra，E.W.，《保护命令，程序的不确定性和形式推导》，Commun。ACM，18，453-457（1975）·Zbl 0308.68017号
[16] Fountain，J.，适足半群，Proc。爱丁堡。数学。《社会学杂志》，22，113-125（1979）·Zbl 0414.20048号
[17] Fountain，J.，丰盛半群，Proc。伦敦。数学。《社会学杂志》，44，103-129（1979）·Zbl 0481.20036号
[18] 赫希，R。；Jackson，M.，作为二元关系的可表示性的不可解释性，J.Symb。日志。，77, 1211-1244 (2012) ·Zbl 1279.03084号
[19] 赫希，R。；杰克逊，M。；Mikulás，Sz.，具有反域和区间的函数代数，J.Pure Appl。代数，2202214-2239（2016）·Zbl 1377.08001号
[20] 赫希，R。；Mikulás，Sz.，可表示域代数的公理化，J.Log。代数程序。，80, 75-91 (2011) ·Zbl 1207.68207号
[21] Hollings，C.，右起聚丙烯限制半群的幺半群：一项调查，Eur.J.Pure Appl。数学。，2, 21-57 (2009) ·Zbl 1214.20056号
[22] 杰克逊，M。；Stokes，T.，《C半群邀请》，半群论坛，62279-310（2001）·Zbl 0982.20051号
[23] 杰克逊，M。；Stokes，T.，《带域和范围的部分映射：扩展Schein表示法》，Commun。代数，37，2845-2870（2009）·Zbl 1182.20058号
[24] 杰克逊，M。；Stokes，T.，模态限制半群，国际代数计算。，211053-1095（2011年）·Zbl 1256.20058号
[25] 杰克逊，M。；Stokes，T.，《代表具有不同子相似性的半群》，《J.代数》，376228-260（2013）·Zbl 1283.20068号
[26] Kambits，M.，自由适足半群，J.Aust。数学。Soc.，91，365-390（2011年）·Zbl 1247.20066号
[27] Kozen，D.，Kleene代数和正则事件代数的完备性定理，Inf.Comput。，110, 366-390 (1994) ·Zbl 0806.68082号
[28] Lawson，M.V.，《半群和有序范畴I：约化情形》，《J.代数》，141422-462（1991）·Zbl 0747.18007号
[29] Manes，E.，Guarded和banded半群，半群论坛，72，94-120（2006）·邮编：1097.2004
[30] Menger，K.，函数和流体的公理理论，（Henkin，L.；Suppes，P.；Tarski，A.，《特别参考几何和物理的公理化方法》。《特别参考几何和物理的公理化方法》，Stud.Logic Found.Math.（1959），北荷兰：北荷兰阿姆斯特丹），454-473·Zbl 0087.26802号
[31] Möller，B。；Struth，G.，模态算子代数和部分正确性，Theor。计算。科学。，351, 221-239 (2006) ·Zbl 1086.68082号
[32] Neuzerling，M.，格序半群和序补半群表示的不可判定性，代数大学。，76, 431-443 (2016) ·Zbl 1402.03100号
[33] Nguyen，T.T.，恶魔不确定性程序的关系模型，国际期刊发现。计算。科学。，2, 101-131 (1991) ·Zbl 0739.68063号
[34] Schein，B.M.，限制乘法变换代数，Izv。维什。Učebn。扎韦德。，Mat.，4，91-102（1970），（俄语）·Zbl 0199.33501号
[35] Schweizer，B。；Sklar，A.，函数代数，数学。安，139366-382（1960）·Zbl 0095.10101号
[36] Schweizer，B。；Sklar，A.，函数代数II，数学。安，143，440-447（1961）·Zbl 0099.31901号
[37] Schweizer，B。；Sklar，A.，函数代数III，数学。安，161171-196（1965）·Zbl 0134.12602号
[38] Schweizer，B。；Sklar，A.，函数系统，数学。安，1721-16（1967）·Zbl 0163.01403号
[39] Trokhimenko，V.S.，Menger的功能系统，Izv。维斯什。Učebn。扎韦德。，Mat.，11，71-78（1973），（俄语）·Zbl 0274.20095号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。