安东尼·托伦斯 各种交换积分有界剩余格中的半单形。 （英语） Zbl 1417.06005号 螺柱日志。 104，第5期，849-867（2016）. 摘要：在任何种类的有界积分剩余格序交换幺半群（简称有界剩余格）中，它的半单元类在同构映象、子代数和乘积下是封闭的，但在同态映象下是不封闭的，因此它不是一类。本文研究了半单元构成簇的有界剩余格的簇，并给出了它们的一个方程表示。我们还研究了其半单成员构成簇的局部代表簇。最后，我们分析了与“有根项”性质的关系，特别是对于（k）-根变种和变种的层次结构{WL}（WL）_{\mathsf k}）{k>0}\）定义于[R.Cignoli公司作者Stud.Log。100，第6期，1107–1136（2012；兹比尔1272.03162)]。 MSC公司： 06B20号 格子的种类 03G25号 与逻辑相关的其他代数 05年6月 有序半群和幺半群 35楼06号 BCK-代数，BCI-代数 08B05号 等式逻辑，Mal'tsev条件 关键词：剩余格;半单和局部剩余格;\（k）-自由基变种;偏旁项 引文：Zbl 1272.03162号 软件：校准仪9;梅斯4 PDF格式BibTeX公司 XML格式引用 \textit{A.Torrens}，螺柱日志。104，第5号，849--867（2016；Zbl 1417.06005） 全文： 内政部 参考文献： [1] 伯格曼，C.，《泛代数》。基础和精选主题，《纯粹数学和应用数学》，CRC出版社，查普曼和霍尔出版社，2012年·Zbl 1229.08001号 [2] Blok，W.J.和I.M.A.Ferreirim，《关于环的结构》，《普遍代数》43:233-1572000年·Zbl 1012.06016号 [3] Blok，W.J.和D.Pigozzi，《可代数逻辑》，第77卷，第396期，Mem。阿默尔。数学。普罗维登斯社会委员会，1989年·Zbl 0664.03042号 [4] Burris，S.和H.P.Sankappanavar，《通用代数课程》，数学研究生论文，纽约施普林格，1981年·Zbl 0478.08001号 [5] Castaño D.，Díaz-Varela J.P.，Torrens A.：剩余格及其有界子约化的某些子簇中自由代数的不可分解性。软计算15，1449-1455（2011）·Zbl 1276.06003号 ·doi:10.1007/s00500-010-0683-y [6] Cignoli R.，Torrens A.：Hájek基本模糊逻辑和Łukasiewicz无限值逻辑。数学逻辑档案42，361-370（2003）·Zbl 1025.03018号 ·doi:10.1007/s001530200144 [7] Cignoli R.，Torrens A.：允许布尔回缩项的交换积分有界剩余格的变种。Studia Logica 100，1107-1136（2012）·Zbl 1272.03162号 ·doi:10.1007/s11225-012-9453-4 [8] Galatos N.，Jipsen P.，Kowalski T.，Ono H.：剩余格：亚结构逻辑的代数一瞥。Elsevier，纽约（2007）·Zbl 1171.03001号 [9] Georgescu G.，Leuštean L.，Murešan C.：具有提升布尔中心的极大剩余格。《普遍代数》63（1），83-99（2010）·Zbl 1203.06017号 ·doi:10.1007/s00012-010-0066-3 [10] Gispert J.，Torrens A.：有界BCK-代数及其生成簇。《数理逻辑季刊》53，41-59（2007）·Zbl 1123.06010号 ·doi:10.1002/malq.200610040 [11] Höhle，U.，交换的剩余l-幺半群，载于U.Höwle和E.P.Klement（编辑），《非经典逻辑及其在模糊子集中的应用：模糊集理论数学基础手册》，Kluwer，波士顿，1995年，第53-106页·Zbl 0838.06012 [12] Kowalski T.：剩余格的半简单性、EDPC和鉴别器变体。《逻辑研究》77（2），255-265（2004）·Zbl 1062.06006号 ·doi:10.1023/B:STUD.0000037129.58589.0c [13] Kowalski T.，Ono H.：剩余格的种类是由其有限的简单成员生成的。数理逻辑报告34，57-75（2000） [14] Kowalski，T.和H.Ono，《剩余格：无收缩逻辑的代数一瞥》，《初步报告》，2001年·Zbl 1272.03162号 [15] W.McCune，Prover9-Mace4，网址：http://www.cs.unm.edu/mccune/校准仪9/。 [16] Torrens A.：有界BCK-代数中的半单性和鉴别器。《普遍代数》63，1-16（2010）·Zbl 1201.06015号 ·doi:10.1007/s00012-010-0061-8 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。