×
桑多·杰内;佛朗哥·蒙塔格纳

某一类的分类，如\（\mathrm{FL}（_e）\)-链条。 （英语） Zbl 1357.06011号

合成 192，第7号，2095-2121（2015）; 勘误表同上，193，第1133号（2016年）。
摘要：某些类群的分类{FL}（_e）\)-给出了链：我们定义了\（\mathrm{FL}（_e）\)-代数，以及次实链的概念，并对吸收体压缩的类群进行分类{FL}（_e）\)-亚实链上的代数：代数由其负锥决定，负锥只能从BL-chains的某个子类中选择，即具有可消去分量（即这些分量是全序阿贝尔群的负锥）或二元MV-代数的子类，并且没有两个连续的抵消成分。结果表明，如果不考虑吸液含量条件，分类定理就不成立。我们的结果是文献中关于\（\mathrm的第一个分类定理{FL}（_e）\)-不假设自然有序条件的代数（在某些条件下，对应于幺半群运算的连续性）。在我们的分类定理中，连续性被弱得多的吸收体含量所取代。

引用于1审查
引用于1文件

MSC公司：

05年6月 有序半群和幺半群
03G25号 与逻辑有关的其他代数
05年6月 MV-代数

关键词：

剩余格;序数和;双旋转;分类
PDF格式BibTeX公司 XML格式引用
\textit{S.Jenei}和\textit{F.Montagna}，综合192，第7期，2095--2121（2015；Zbl 1357.06011）
全文： 内政部

参考文献：

[1] Aczél，J.（1966年）。函数方程及其应用讲座。纽约：学术出版社·Zbl 0139.09301号
[2] Aglianó，P.和Montagna，F.（2003）。BL-代数的种类I：一般性质。《纯粹与应用代数杂志》，181（2-3），105-129·Zbl 1034.06009号
[3] An nh，P.N.、Márki，L.和Vámos，P.（2012）。交换环中的可除性理论：Bezout幺半群。美国数学学会学报，3643967-392·兹比尔1280.06010 ·doi:10.1090/S0002-9947-2012-05424-9
[4] Blok，W.J.和Dziobiak，W.（1986年）。关于Sugihara代数拟簇的格。《逻辑研究：符号逻辑国际期刊》，45（3），275-280·兹比尔0616.06003 ·doi:10.1007/BF00375898
[5] Blyth，T.S.和Janowitz，M.F.（1972年）。滞留理论。牛津，纽约：佩加蒙出版社·Zbl 0301.06001号
[6] Bosbach，B.（1969年）。Komplementäre Halbgruppen公司。公理与算术。数学基础，64，257-287·Zbl 0183.30603号
[7] Bosbach，B.（1978年）。剩余群胚和格。匈牙利科学研究所，13，433-451·Zbl 0476.06015号
[8] Bosbach，B.（1981a）。关于砖块。匈牙利数学学报，38，89-104·Zbl 0533.06009 ·doi:10.1007/BF01917525
[9] Bosbach，B.（1981b）。关于半平面。马塞马提克档案馆，37，316-324·Zbl 0472.06028号 ·doi:10.1007/BF01234363
[10] Chang，C.C.（1958年）。多值逻辑的代数分析。美国数学学会学报，88，456-490·Zbl 0084.00704号 ·doi:10.1090/S0002-9947-1958-0094302-9
[11] Cignoli，R.、D’Ottaviano，I.M.L.和Mundici，D.（2000a）。多值推理的代数基础。多德雷赫特：克鲁沃·Zbl 0937.06009 ·doi:10.1007/978-94-015-9480-6
[12] Cignoli，R.、Esteva，F.、Godo，L.和Torrens，A.（2000b）。基本模糊逻辑是连续t范数及其残差的逻辑。软计算，4（2），106-112·doi:10.1007/s005000000044
[13] Cintula，P.、Hájek，P.和Noguera，C.（2011年）。数学模糊逻辑手册（第1卷）。逻辑、数学逻辑和基础研究，第37期。伦敦大学出版社·Zbl 1284.03177号
[14] Clifford，A.H.（1954年）。自然全序交换半群。《美国数学杂志》，76（3），631-646·Zbl 0055.01503号 ·doi:10.2307/2372706
[15] Dummett，M.（1959年）。具有可数矩阵的命题演算。符号逻辑杂志，27，97-106·Zbl 0089.24307号 ·doi:10.2307/2964753
[16] Fuchs，L.（1963年）。部分有序代数系统。牛津：佩加蒙出版社·Zbl 0137.02001号
[17] Galatos，N.、Jipsen，P.、Kowalski，T.和Ono，H.（2007年）。剩余格：子结构逻辑的代数一瞥。逻辑和数学基础研究（第151卷）。爱思唯尔·Zbl 1171.03001号
[18] Esteva，F.、Gispert，J.、Godo，L.和Montagna，F.（2002）。关于单体t-范数逻辑的一些公理扩张的标准和有理完备性。Studia Logica，71，199-226·Zbl 1011.03015号 ·doi:10.1023/A:1016548805869
[19] Esteva，F.和Godo，L.（2001）。基于单体t-范数的逻辑：向左旋t-范本的逻辑迈进。模糊集与系统，124271-288·Zbl 0994.03017号 ·doi:10.1016/S0165-0114（01）00098-7
[20] Font，J.M.和Prez，G.R.（1992年）。关于Sugihara代数的注记。Publicacions Matemtiques，36（2A），591-599·Zbl 0781.03052号 ·doi:10.5565/PUBLMAT_362A92_19
[21] Hájek，P.（1998年）。模糊逻辑的元数学。多德雷赫特：克鲁沃·兹比尔0937.03030 ·doi:10.1007/978-94-011-5300-3
[22] Hájek，P.（2002）。关于单调t-范数逻辑的观察。模糊集与系统，132107-112·Zbl 1012.03035号 ·doi:10.1016/S0165-0114（02）00057-X
[23] Hájek，P.、Godo，L.和Esteva，F.（1996）。具有乘积连接的完整多值逻辑。数学逻辑档案，35（3），191-208·Zbl 0848.03005号 ·doi:10.1007/BF01268618
[24] Hölder，O.（1901）。Die Axiome der Quantität und Die Lehre vom Mass.Berichteüber Die Verhandlungen der Königlich Sachssischen Gesellschaft der Wissenschaften zu Leipzig，数学物理类，53，1-64。
[25] 霍奇克，R.（2005）。\[\Pi\]∏MTL的标准完备性定理。数学逻辑档案，44（4），413-424·Zbl 1071.03013号 ·doi:10.1007/s00153-004-0254-y
[26] Jenei，S.（2002年）。具有强诱导否定的左连续三角范数的结构。（三） 构造和分解。模糊集与系统，128，197-208·Zbl 1050.03505号 ·doi:10.1016/S0165-0114（01）00061-6
[27] Jenei，S.（2007）。关于结合几何。半群论坛，74（3），439-466·Zbl 1131.20047号 ·doi:10.1007/s00233-006-0673-7
[28] Jenei，S.（2009年）。关于剩余链的反射不变性。《纯粹逻辑与应用逻辑年鉴》，161，220-227·Zbl 1181.03062号 ·doi:10.1016/j.apal.2009.05.009
[29] Jenei，S.（2010年）。勘误表“关于剩余链的反射不变性。纯粹与应用逻辑年鉴161（2009）220-227”。《纯粹逻辑与应用逻辑年鉴》，161，1603-1604·兹比尔1221.03062 ·doi:10.1016/j.apal.2010.06.002
[30] Jenei，S.（2011年）。通过偏斜对称化对一类对合单形的结构描述。逻辑与计算杂志，21（5），729-737·Zbl 1239.03044号 ·doi:10.1093/log.com/exp060
[31] Jenei，S.和Montagna，F.（2002年）。证明Esteva和Godo逻辑MTL的标准完整性。《逻辑研究》，70（2），183-192·Zbl 0997.03027号 ·doi:10.1023/A:1015122331293
[32] Jenei，S.和Montagna，F.（2003年）。关于左连续t-范数的连续点。数学逻辑档案，42，797-810·Zbl 1047.03016号 ·doi:10.1007/s00153-003-0182-2
[33] Jenei，S.和Montagna，F.（2012年）。强对合单形代数。逻辑与计算杂志。doi:10.1093/logcom/exs019·Zbl 1288.03044号
[34] Jenei，S.和Ono，H.（2012年）。关于对合FL\[_e\]e-幺半群。数理逻辑档案，51（7），719-738·Zbl 1284.06035号 ·doi:10.1007/s00153-012-0295-6
[35] Jipsen，P.和Montagna，F.（2010年）。GBL--代数类的嵌入定理。《纯粹与应用代数杂志》，214（9），1559-1575·Zbl 1192.06012号 ·doi:10.1016/j.jpaa.2009.11.015
[36] Johnstone，P.T.（1982）。石头空间。剑桥：剑桥大学出版社·Zbl 0499.54001号
[37] Kolesárová，A.（1999年）。关于阿基米德三角范数的注记。BUSEFAL，80岁，57岁-60岁。
[38] Maes，K.和De Baets，B.（2007a）。关于具有连续轮廓线的左连续t-范数的结构。模糊集与系统，158（8），843-860·Zbl 1122.03051号 ·doi:10.1016/j.fss.2006.09.016
[39] Maes，K.和De Baets，B.（2007b）。构造t-范数的三重旋转方法。模糊集与系统，158（15），1652-1674·Zbl 1121.03076号 ·doi:10.1016/j.fss.2007.03.010
[40] Metcalfe，G.和Montagna，F.（2007年）。子结构模糊逻辑。符号逻辑杂志，72（3），834-864·Zbl 1139.03017号 ·doi:10.2178/jsl/1191333844
[41] Mostert，P.S.和Shields，A.L.（1957）。关于具有边界的紧致流形上半群的结构。数学年鉴，65117-143·Zbl 0096.01203号 ·doi:10.2307/1969668
[42] Ono，H.（1990）。结构规则和逻辑层次结构。在P.P.Petrov（编辑）《数理逻辑》中。数学逻辑暑期学校和会议记录，Heyting’88。纽约州纽约市：Plenum出版社（第95-104页）·Zbl 0790.03007号
[43] Ono，H.和Komori，Y.（1985年）。没有收缩规则的逻辑。符号逻辑杂志，50，169-201·Zbl 0583.03018号 ·doi:10.2307/2273798
[44] Ward，M.和Dilworth，R.P.（1939年）。残余晶格。美国数学学会学报，45，335-354·doi:10.1090/S0002-9947-1939-1501995-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。