何塞·路易斯·卡斯蒂格利奥尼;勒温，雷纳托·A。;玛尔塔Sagastume 关于各种单（ell）群的定义。 （英语） Zbl 1337.06011号 螺柱日志。 102，第1期，67-92（2014）. 在第一作者的论文中，M.Menni（梅尼）、和M.Sagastume先生【《研究日志》第90卷第1期，第93-124页（2008年；Zbl 1165.06002号)]，证明了类别\（\mathrm{IRL}_0\)具有底的积分剩余格等价于其对象是满足一定技术条件的（c）-微分剩余格的范畴。相应的加法推广了文中得到的Heyting代数和Nelson代数之间的加法R.奇诺利【代数大学，23，262-292（1986；兹比尔06210.06009)]. 在他的论文中[J.Funct.Anal.65，15-63（1986；Zbl 0597.46059号)]，本综述者建立了MV-代数和格序阿贝尔群之间的范畴等价性（Gamma），格序阿伯群具有可分辨（强，序）单位，简称为酉（l）-群。MV-代数是Łukasiewicz无穷值逻辑的代数。酉群提供了欧几里德震级的现代重新公式，并配备了一个独特的阿基米德测量单位。在本文的最后几节中，作者将他们的结果专门用于MV-代数和由“卡尔曼函子”（K^*）诱导的一元MV-代数的相应范畴。此外，他们将这种结构推广到了引入一元（l）群新范畴的（l）-群以及与（Gamma）函子平行的函子。审核人：丹尼尔·蒙迪奇（费伦泽） 引用于2评论引用于4文件 MSC公司： 2015年1月6日 有序的组 第65页 MV-代数 03G25号 与逻辑相关的其他代数 关键词：MV-代数;一元\（\ell\）-群;剩余格 引文：Zbl 1165.06002号;Zbl 0621.06009;Zbl 0597.46059号 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Castiglioni}等人，研究日志。102，第1号，67--92（2014；Zbl 1337.06011） 全文： 内政部 参考文献： [1] Balbes R.，Dwinger P.：分配格。密苏里大学出版社，哥伦比亚（1974）·Zbl 0321.06012 [2] Castiglioni J.L.，Menni M.，Sagastume M.：关于对合中心剩余格的一些范畴。Studia Logica 90，93-124（2008年）·Zbl 1165.06002号 ·doi:10.1007/s11225-008-9145-2 [3] Cignoli R.：满足插值性质的Kleene代数类和Nelson代数类。代数普遍23，262-292（1986）·Zbl 0621.06009 ·doi:10.1007/BF01230621 [4] Cignoli R.：分配格上的量词。离散数学96，183-197（1991）·Zbl 0753.06012号 ·doi:10.1016/0012-365X（91）90312-P [5] Di Nola A.，Grigolia R.：关于单子MV-代数。《纯粹逻辑与应用逻辑年鉴》128、125-139（2004）·Zbl 1052.06010号 ·doi:10.1016/j.apal.2003.11.031 [6] Halmos P.R.：代数逻辑。切尔西出版公司，纽约（1962）·Zbl 0101.01101号 [7] 麦肯锡J.C.C.，塔斯基A.：拓扑代数。数学年鉴，第二辑45（1），141-191（1944）·Zbl 0060.06206号 ·doi:10.2307/1969080 [8] 麦肯锡J.C.C.，塔斯基A.：关于闭包代数中的闭元。数学年鉴，第二辑47（1），122-162（1946）·Zbl 0060.06207号 ·doi:10.2307/1969038 [9] Montagna F.，Tsinakis C.：具有双核的有序群。《纯粹与应用代数杂志》214（1），71-88（2010）·Zbl 1185.06012号 ·doi:10.1016/j.jpaa.2007.01.019 [10] Petrovich，A.，Monadic De Morgan代数，载于C.Xavier和M.Carlos（编辑），《模型、代数和证明》。《纯粹数学和应用数学课堂讲稿》，1999年，第203卷，第315-333页·Zbl 0927.06009 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。