Panicker，加亚特里;Krishna，K.V.公司。;普兰达尔·巴杜里 通过原子性和if-then-else公司. （英语） Zbl 1452.03141号 代数大学。 81，第2期，第22号论文，27页（2020年）. 麦卡锡提出的三值逻辑对按顺序计算表达式的编程语言所显示的短路计算进行了建模。F.古兹曼和C.C.斯奎尔【代数大学，27，第1期，88–110（1990；Zbl 0701.03035号)]给出了麦卡锡三值逻辑的完全公理化，并将相应的代数称为条件逻辑代数或（C）-代数。在研究“if-then-else”代数时，Manes定义了一个不相交替代代数，它是一个带有停顿问题预言的\（C\）-代数。在本文中，作者给出了\（C）-代数原子性的一些充要条件，并证明了原子\（C）-代数类与不相交替换代数类一致。审核人：伊万·查伊达（Přerov） 理学硕士： 03G25号 与逻辑相关的其他代数 08A05号 代数结构的结构理论 06至75 布尔代数的推广 关键词：\（C\）-代数，原子性;湮灭器;if-then-else公司 引文：Zbl 0701.03035号 PDF格式BibTeX公司 XML格式引用 \textit{G.Panicker}等人，代数大学。81，第2号，第22号论文，27页（2020年；Zbl 1452.03141） 全文： 内政部 arXiv公司 参考文献： [1] Belnap，ND Jr，“条件断言和限制量化”，《科学》，第4卷，第1期，第1-13页（1970年）·Zbl 1366.03023号 [2] 马萨诸塞州伯格斯特拉；我·贝斯克。；Rodenburg，P.，《具有（4）值的命题逻辑：真、假、发散和无意义》，J.Appl。非类别。逻辑学，5，2，199-217（1995）·Zbl 0843.03012号 [3] Bochvar，DA，《关于三值逻辑演算及其在分析经典扩展函数演算悖论中的应用》，Hist。菲洛斯。逻辑，287-112（1981）·Zbl 0512.03004号 [4] Burris，S。；Sankappanavar，HP，通用代数课程，数学研究生教材（1981），纽约：Springer，纽约·Zbl 0478.08001号 [5] Chang，CC，多值逻辑的代数分析，Trans。数学。Soc.，88，467-490（1958年）·Zbl 0084.00704号 [6] Givant，S。；Halmos，P.，《布尔代数导论》。数学本科生教材（2009），纽约：施普林格，纽约·Zbl 1168.06001号 [7] F.古兹曼。；斯奎尔，CC，条件逻辑代数，代数大学，27，1，88-110（1990）·Zbl 0701.03035号 [8] Heyting，A.：直觉主义逻辑的形式。地点：威斯康辛州阿卡德米市。物理学-数学。克拉斯，第42-56页、第57-71页、第158-169页。锡宗斯伯。普劳斯。阿卡德。威斯（1930） [9] 杰克逊，M。；Stokes，T.，Monoids with tests and the algebration of possible non-halting programs，J.Log，《带测试和可能非暂停程序代数的单体》。阿尔盖布。方法程序。，84, 2, 259-275 (2015) ·Zbl 1319.68085号 [10] Kleene，SC，《关于序数的记法》，符号学杂志。逻辑，3，4，150-155（1938） [11] Kleene，SC，《元数学导论》（1952），纽约：D.Van Nostrand Co.Inc，纽约·Zbl 0047.00703号 [12] Łukasiewicz，J。；Borkowski，L.，《论三值逻辑》，JanŁukasiewicz（1920），87-88（1970），阿姆斯特丹：北荷兰德，阿姆斯特朗 [13] 麦克莱恩，S.，《工作数学家的类别》，《数学研究生教材》（1971），纽约：斯普林格出版社，纽约·Zbl 0232.18001号 [14] Manes，EG，Adas和if-then-else方程理论，代数大学，30，3，373-394（1993）·Zbl 0795.08006号 [15] McCarthy，J.，《计算数学理论基础》，《计算机程序设计与形式系统》，33-70（1963），阿姆斯特丹：荷兰北部·Zbl 0203.16402号 [16] Panicker，G。；克里希纳，KV；Bhaduri，P.，《关于可能非暂停程序和测试的if-then-else公理化》，《国际代数计算》。，27, 3, 273-297 (2017) ·Zbl 1365.68165号 [17] Panicker，G。；克里希纳，KV；Bhaduri，P.，《带测试的非停顿程序的单元论》，代数大学，79，1-8，29（2018）·Zbl 1400.08003号 [18] Swamy，嗯；Rao，GC；拉维·库马尔（Ravi Kumar），RVG，（C）-代数的带轮分段表示，东南亚公牛。数学。，28, 6, 1121-1128 (2004) ·Zbl 1059.03082号 [19] 斯洛伐克瓦利；Sundarayya，P。；Swamy，UM，（C\）代数的布尔中心，Armen。数学杂志。，3, 3, 97-104 (2010) ·兹比尔1281.03010 [20] 瓦利，SK；Sundarayya，P。；Swamy，UM，（C\）代数的理想，亚欧数学杂志。，3, 3, 501-509 (2010) ·Zbl 1211.03100号 [21] 斯洛伐克瓦利；Sundarayya，P。；Swamy，UM，C-代数的湮灭子，东南亚公牛。数学。，39, 4, 529-538 (2015) ·Zbl 1340.03040号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。