尼克·加拉托斯;彼得·吉普森;迈克尔·基扬;亚当·佩恩索尔 格序预群是半分布的。 （英语） Zbl 1498.06034号 代数大学。 82，第1号，第16号论文，第7页（2021年）. 摘要：我们证明了每个格序预群的格约化都是半分布的。这是格序预群中存在的分配律的某种弱形式的结果。 引用于1文件 MSC公司： 05年6月 有序半群和幺半群 关键词：预分组;\（\ell\）-预分组;剩余格 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}等人，代数大学。82，第1号，第16号论文，第7页（2021年；Zbl 1498.06034） 全文： 内政部 链接 参考文献： [1] Buszkowski，W.：基于预群的Lambek语法。摘自：P.de Groote，G.Morrill，C.Retoré（编辑）《计算语言学的逻辑方面》，LACL 2001，《计算机科学讲义》，第2099卷，第95-109页。斯普林格（2001）·Zbl 0990.03021号 [2] Buszkowski，W.：预分组：模型和语法。摘自：H.C.M.de Swart（编辑）《计算机科学中的关系方法》，RelMiCS 2001，《计算机科学讲义》，第2561卷，第35-49页。斯普林格（2002）·兹比尔1027.68069 [3] Buszkowski，W.，类型逻辑和预分组，Stud.logic。，87, 2-3, 145-169 (2007) ·兹伯利1134.03014 ·doi:10.1007/s11225-007-9083-4 [4] Freese，R.，Nation，J.：简单半分配格Int.J.代数计算。doi:10.1142/S0218196721500119·Zbl 0384.08006号 [5] 北卡罗来纳州加拉托斯。；Jipsen，P.，《周期格序预群是分配的》，代数大学，68，1-2，145-150（2012）·Zbl 1259.06018号 ·doi:10.1007/s00012-012-0199-7 [6] 北卡罗来纳州加拉托斯。；吉普森，P。；科瓦尔斯基，T。；Ono，H.，《剩余格：代数一瞥与子结构逻辑》，《逻辑研究与数学基础》（2007），纽约：爱思唯尔出版社，纽约·Zbl 1171.03001号 [7] 北卡罗来纳州加拉托斯。；Tsinakis，C.，广义MV-代数，J.代数，283，1，254-291（2005）·Zbl 1063.06008号 ·doi:10.1016/j.jalgebra.2004.07.002 [8] Lambek，J.，《双线性逻辑的一些格模型》，代数大学，34541-550（1995）·Zbl 0840.03044号 ·doi:10.1007/BF01181877 [9] Lambek，J.：重新审视类型语法。在：A.Lecomte，F.Lamarche，G.Perrier（编辑）《计算语言学的逻辑方面》，《计算机科学讲义》，第1582卷，第1-27页。斯普林格（1999）·Zbl 0934.03043号 [10] Lambek，J.，《作为前组的类型语法》，《语法》，4，21-39（2001）·Zbl 1007.03031号 ·doi:10.1023/A:1011444711686 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。