尼古拉斯·加拉托斯;彼得·吉普森 周期格序预群是分配的。 （英语） Zbl 1259.06018号 代数大学。 68，编号1-2，145-150（2012）. 摘要：证明了满足形式\（x^{ll\cdotsl}=x^{rr\cdotsr}\）恒等式（对于每侧相同数量的\（^{l，r}\）-操作）的任何格序预群都具有分配的格约简。因此，每个这样的预群都嵌入链上的剩余映射和对偶剩余映射的预群中。 引用于4文件 MSC公司： 05年6月 有序半群和幺半群 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 03G25号 与逻辑相关的其他代数 关键词：格序预群;剩余地图;分配格约简 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}和\textit{P.Jipsen}，代数大学。68，编号1--2，145-150（2012；Zbl 1259.06018） 全文： 内政部 参考文献： [1] Anderson M.，Edwards C.C.：分配幺半群的表示定理。加拿大。数学。牛市。27, 238–240 (1984) ·doi:10.4153/CBM-1984-034-6 [2] Buszkowski，W.：基于预群的Lambek语法。摘自：《人工智能课堂讲稿》，第2099卷，第95-109页。斯普林格（2001）·Zbl 0990.03021号 [3] Buszkowski，W.：预群、模型和语法。摘自：《计算机科学讲义》，第2561卷，第35-49页。斯普林格（2002）·Zbl 1027.68069号 [4] Buszkowski W.：紧致双线性逻辑的顺序系统。MLQ数学。日志。问题49、467–474（2003年）·Zbl 1036.03046号 ·文件编号：10.1002/malq.200310050 [5] Buszkowski W.：类型逻辑和预分组。Studia Logica《逻辑研究》87、145–169（2007）·Zbl 1134.03014号 ·doi:10.1007/s11225-007-9083-4 [6] Galatos，N.，Horík，R.：幂等半环的Cayley和Holland型定理及其在剩余格上的应用（已提交） [7] 加拉托斯，N.，吉普森，P.，科瓦尔斯基，T.，小野。，剩余格：亚结构逻辑的代数一瞥。《逻辑与数学基础研究》，第151卷。Elsevier（2007）·兹比尔1171.03001 [8] Kinyon，M.：个人沟通 [9] Lambek，J.：重新审视类型语法。收录于：Lecomte，A.，Lamarche，F.，Perrier，G.（编辑）《计算语言学的逻辑方面》。《人工智能课堂讲稿》，第1582卷，第1-27页。斯普林格（1999）·Zbl 0934.03043号 [10] Paoli，F.，Tsinakis，C.：关于Birkhoff的“公共抽象”问题（预印本）·Zbl 1298.08002号 [11] 沃尔德梅斯特。http://www.mpi-inf.mpg.de/\（\sim\）hillen/waldmeister/ 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。