×
桑多·杰内;小野，Hiroakira

关于对合FL（{e}）-幺半群。 （英语） Zbl 1284.06035号

架构（architecture）。数学。逻辑 51，编号7-8，719-738（2012）.
对合FL\（_e\）-幺半群\（U:=（X，\bullet，\leq，t，f）\）是一个具有中性元素\（t\）和对合否定（由\（X'：=X\rightarrow_｛\bullet｝f\）定义）的可交换和剩余偏序幺半群\（f）是任意元素。（U）的正（负）锥分别由（X^+：={X\mid-X\geqt\}）定义。在单线运行下，两个锥体都是闭合的；负（正）锥运算分别用\（\otimes\）、\（\oplus \）表示\如果（X=X^+\cup X^-\），则称（U）为圆锥曲线。作者证明，如果（U）是二次曲线，则（oplus）和（ominous）唯一地确定（bullet）。此外，他们还描述了圆锥对合FL（e）-幺半群的一种新的构造方法（称为孪生法）；每一个这样的FL（e）-幺半群都是其锥运算的孪生。基于自然数的初始段，可以考虑每个有限对合FL（e）-链（U），直至同构；差异（t-f）称为等级（U）。利用这一概念，对几类对合FL链进行了分类；同时，在正秩链和非正秩链条之间建立了一种斜对偶关系。最后，证明了子结构逻辑IUL公司plus\（\mathbf t\leftrightarrow f\）没有有限模型属性。格上的对合FL（_e）-幺半群是IUL公司.)
审核人：朱尼斯·切鲁利斯（里加）

引用于三文件

MSC公司：

05年6月 有序半群和幺半群
03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
03G25号 与逻辑有关的其他代数
2014年11月20日 交换半群

关键词：

分类;圆锥体表示;FL\（_e\）-幺半群;子结构逻辑;双旋转
PDF格式BibTeX公司 XML格式引用
\textit｛S.Jenei｝和\textit｛H.Ono｝，Arch。数学。逻辑51，编号7--8，719--738（2012；Zbl 1284.06035）
全文： 内政部

参考文献：

[1] Belohlavek，R.，Vychodil，V.：尺寸为12的残余晶格，有序。doi:10.1007/s11083-010-9143-7·Zbl 1203.06015号
[2] Blok W.J.，Pigozzi D.：《代数逻辑》，《美国数学学会回忆录》第396卷。美国数学学会，普罗维登斯（1989）·Zbl 0664.03042号
[3] Clifford A.H.：自然全序交换半群。美国数学杂志。76, 631–646 (1954) ·Zbl 0055.01503号 ·doi:10.2307/2372706
[4] Dombi J.：评价理论的基本概念：聚合算子。欧洲药典。第10号决议，282–293（1982）·Zbl 0488.90003号 ·doi:10.1016/0377-2217（82）90227-2
[5] Fodor，J.，De Baets，B.：统一规范基础。作者：Wang，P.P.，Ruan，D.，Kerre，E.E.（编辑），《模糊性和软计算研究》，第215卷。模糊逻辑，第49-64页·Zbl 1128.03014号
[6] Galatos N.，Jipsen P.，Kowalski T.，Ono H.：剩余格——亚结构逻辑的代数一瞥，第532页。Elsevier，阿姆斯特丹（2007）·Zbl 1171.03001号
[7] Höhle U.：交换剩余l-幺半群。收录：Klement，E.P.，Rodabaugh，S.E.（编辑）《模糊集的拓扑和代数结构》，《模糊集数学最新发展手册》，逻辑趋势，第20卷，第53-106页。Kluwer，Dordrecht（2003）
[8] Jenei S.：勘误表《关于剩余链的反射不变性》，《纯粹与应用逻辑年鉴》161，（2009）220–227。Ann.纯粹应用。日志。161, 1603–1604 (2010) ·兹比尔1221.03062 ·doi:10.1016/j.apal.2010.06.002
[9] Jenei，S.：关于剩余链的反射不变性。Ann.纯粹应用。日志。220–227 (2009) ·Zbl 1181.03062号
[10] Jenei S.：关于旋转不变半群的结构。架构（architecture）。数学。日志。42, 489–514 (2003) ·Zbl 1028.06009号 ·doi:10.1007/s00153-002-0165-8
[11] Jenei S.：关于旋转结构和有序阿贝尔群之间的关系。模糊集系统。161, 277–284 (2010) ·Zbl 1196.06011号 ·doi:10.1016/j.fss.2009.05.005
[12] Jenei S.：通过斜对称化对合单形类的结构描述。J.日志。计算。21(5), 729–737 (2011) ·Zbl 1239.03044号 ·doi:10.1093/log.com/exp060
[13] Metcalfe G.，Montagna F.：子结构模糊逻辑。J.塞姆。日志。72(3), 834–864 (2007) ·Zbl 1139.03017号 ·doi:10.2178/jsl/1191333844
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。