跳到内容
得到许可的 未获得许可 需要身份验证 发布人:德古意特出版社 2022年12月4日

L-代数上的量词

  • Lavinia Corina Ciungu公司 电子邮件徽标
来自日志斯洛伐克数学

摘要

本文引入了一元L-代数的概念,并研究了这些新结构的性质。我们定义并研究了一元L-代数的一元理想,并且刻画了由一元L-代数子集生成的一元思想。我们定义了带否定的半正则L-代数上的存在量词和泛量词,并研究了这些结构的某些性质。在这个意义上,我们证明了存在量词和全称量词之间存在一对一的对应关系。我们证明了带否定的半正则L-代数上的任何一对严格量词都是一个一元算子。

  1. (由Anatolij Dvurečenskij传达)

确认

作者非常感谢匿名推荐人对该主题的有益评论和建议,这有助于改进演示。

工具书类

[1]阿巴德,M.:建筑风格乌卡西维奇大学,博士论文,《拉丁美洲医学院》,第36卷,南部国立大学,拉丁美洲医学院,巴伊亚布兰卡,1988年,viii+124。在谷歌学者中搜索

[2]Bezhanishvili,G.:一元Heyting代数的簇I,螺柱日志。61(1998), 367–402.10.1023/A:1005073905902在谷歌学者中搜索

[3]博斯巴赫,B.:Komplementäre Halbgruppen公司。公理与Aritmetik,基金。数学。64(1969), 257–287.10.4064/fm-64-3-257-287在谷歌学者中搜索

[4]博斯巴赫,B.:关于锥代数,代数普遍15(1982), 58–66.2007年10月10日/BF02483708在谷歌学者中搜索

[5]Castaño,D.-Cimadamore,C.-Díaz Varela,J.P.–Rueda,L.:一元BL-代数:的等价代数语义H(H)ájek的一元模糊逻辑、模糊集与系统320(2017), 40–59.2016年10月10日/j.fss.2016.12.007在谷歌学者中搜索

[6]Chajda,I.–Kolaříc,M.:一元基本代数帕拉基大学学报。奥洛穆克。,工厂。雷尔。自然数学47(2008), 27–36.在谷歌学者中搜索

[7]Cimadamore,C.-Díaz Varela,J.P.:一元MV-代数I:子变种的研究,代数普遍71(2014), 71–100.2007年10月7日/00012-014-0266-3在谷歌学者中搜索

[8]Cimadamore,C.-Díaz Varela,J.P.:Monadic Wajsberg篮球,修订版。阿根廷材料57(2016),63–83。在谷歌学者中搜索

[9]Ciungu,L.C.公司:非交换多值逻辑代数,施普林格,查姆,海德堡,纽约,多德雷赫特,伦敦,2014年。10.1007/978-3-319-01589-7在谷歌学者中搜索

[10]Ciungu,L.C.公司:一元伪BE-代数,数学。斯洛伐克语70(2020), 1013–1040.10.1515/ms-2017-0411在谷歌学者中搜索

[11]Ciungu,L.C.公司:量子B-代数的一元类,软计算。25(2021), 1–14.2007年10月10日/200500-020-05404-7在谷歌学者中搜索

[12]Ciungu,L.C.公司:L-代数的结果,代数普遍82(1) (2021年),第7条。2007年10月7日/00012-020-00695-1在谷歌学者中搜索

[13]Di Nola,A.-Grigolia,R.:关于一元MV-代数Ann.Pure应用。逻辑128(2004), 125–139.2016年10月10日/j.apal.2003.11.031在谷歌学者中搜索

[14]D.D.阿古里奇博士:BL-代数上的量词Bucur.安大学。,材料通知。50(2001), 29–42.在谷歌学者中搜索

[15]D.D.阿古里奇博士:多元BL-代数。一个表示定理、J.Mult-有价值的日志。软计算。16(2010), 265–302.在谷歌学者中搜索

[16]加拉托斯,N.-Jipsen,P.-Kowalski,T.-Ono,H.:剩余格:子结构逻辑的代数一瞥,Elsevier,纽约,2007年。在谷歌学者中搜索

[17]乔治斯库,G.-乔治斯库,A.:伪MV代数,多个-有值逻辑6(2001), 95–135.在谷歌学者中搜索

[18]古尔巴尼,S.:一元伪代数,软计算。23(2019), 12937–12950.2007年10月10日/200500-019-04243-5在谷歌学者中搜索

[19]格里戈利亚,R.:一元BL-代数,格鲁吉亚数学。J。13(2006), 267–276.10.1515/GMJ.2006.267在谷歌学者中搜索

[20]Hájek,P.:模糊逻辑的元数学Kluwer学院。出版物。,多德雷赫特,1998年。10.1007/978-94-011-5300-3在谷歌学者中搜索

[21]哈尔莫斯,P.R.:代数逻辑。I.一元布尔代数,作曲。数学。12(1956), 217–249.在谷歌学者中搜索

[22]华小杰:状态L-代数与L-代数的导子,软计算。25(2021), 4201–4212.10.1007/s00500-021-05651-2在谷歌学者中搜索

[23]Iorgulescu,A.:BCK-代数类——第三部分罗马尼亚科学院数学研究所预印本系列(2004), 1–42.在谷歌学者中搜索

[24]M.近藤:关于带全称量词的剩余格,公牛。伊朗数学。Soc公司。41(2015), 923–929.在谷歌学者中搜索

[25]蒙泰罗,A.-瓦尔萨夫斯基,O.:赫尔格布拉斯·德·海廷·莫纳迪卡斯《拉斯维加斯学报》X(X)Jornadas de la Unión Matemática Argentina,Bahía Blanca,1957年,第52-62页。在谷歌学者中搜索

[26]Rachůnek,J.:MV-代数的一个非交换推广,捷克斯洛伐克数学。J。52(2002), 255–273.10.1023/A:1021766309509在谷歌学者中搜索

[27]Rachůnek,J.-ŠAlounová,D.:一元有界交换剩余-幺半群,订单25(2008), 157–175.10.1007/s11083-008-9088-2在谷歌学者中搜索

[28]Rachůnek,J.-ŠAlounová,D.:一元GMV-代数,拱门。数学。逻辑47(2008), 277–297.2007年10月1日/00153-008-0086-2在谷歌学者中搜索

[29]Rachůnek,J.-ŠAlounová,D.:一元有界剩余格,订单30(2013), 195–210.10.1007/s11083-011-9236年在谷歌学者中搜索

[30]Rutledge,J.D.:无穷多值谓词演算初探,博士论文,康奈尔大学,1959年,112页。在谷歌学者中搜索

[31]臀部,W.:量子Yan无平方幺正解的分解定理–Baxter方程高级数学。193(2005), 40–55.2016年10月10日/j.aim.2004.03.019在谷歌学者中搜索

[32]RUMP,W.公司:L-代数、自相似性和-组,J.代数320(2008), 2328–2348.10.1016/j.代数.2008.05.033在谷歌学者中搜索

[33]臀部,W.c,Y.:间隔(in)-作为L-代数的群,代数普遍67(2012), 121–130.2007年10月7日/00012-012-0172-5在谷歌学者中搜索

[34]臀部,W.:赖特-群、几何Garside群和量子Yan的解–Baxter方程,J.代数439(2015), 470–510.2016年10月10日/j.jalgebra.2015.04.045在谷歌学者中搜索

[35]臀部,W.:L-代数的结构群是无扭的,J.群论20(2017), 309–324.10.1515/jgth-2016-0037在谷歌学者中搜索

[36]臀部,W.:Hurwitz素数的L-代数,J.数论190(2018), 394–413.2016年10月10日/j.jnt.2018.03.004在谷歌学者中搜索

[37]臀部,W.:Von Neumann代数、L-代数、Baer*-幺半群和Garside群,论坛数学。30(2018), 973–995.10.1515/对于-2017-0108在谷歌学者中搜索

[38]臀部,W.:广义正交模格的结构群,螺柱Logica106(2018), 85–100.10.1007/s11225-017-9726-z在谷歌学者中搜索

[39]北卡罗来纳州Subrahmanyam:砖块和伪MV-代数是等价的,数学。斯洛伐克语58(2008), 131–142.10.2478/s12175-008-0061-8在谷歌学者中搜索

[40]Wang,J.-Xin,X.-He,P.:Monadic界箍,软计算。22(2018), 1749–1762.10.1007/s00500-017-2648-x在谷歌学者中搜索

[41]Wang,J.-Xin,X.-He,P.(王建新,X.-何,P.):一元NM-代数,日志。J.IGPL公司27(6) (2019), 812–835.10.1093/jigpal/jzz005在谷歌学者中搜索

[42]Wu,Y.-Wang,J.-YANG,Y.:格序效应代数与L-代数、模糊集与系统369(2019), 103–113.2016年10月10日/j.fss.2018.08.013在谷歌学者中搜索

[43]Wu,Y.-Yang,Y.:正交模格作为L-代数,软计算。24(2020), 14391–14400.2007年10月10日/200500-020-05242-7在谷歌学者中搜索

[44]Yang,Y.-臀部,W.:作为L-代数的伪MV代数、J.Mult-有值逻辑软计算。19(2012), 621–632.在谷歌学者中搜索

[45]Zaheriani,S.Y.-Zahiri,O.:一元BE-代数,J.Intell。模糊系统。27(2014), 2987–2995.10.3233/IFS-141257在谷歌学者中搜索

收到:2021-04-12
认可的:2021-12-06
在线发布:2022-12-04
印刷出版:2022-12-16

©2022斯洛伐克科学院数学研究所

于2014年5月28日从下载https://www.degruyte.com/document/doi/10.1515/ms-2022-0096/html
滚动到顶部按钮