拉维尼娅·科琳娜（Lavinia Corina）·琼古（Ciungu） L-代数上的量词。 （英文） Zbl 07629480号 数学。斯洛伐克语 72，第6号，1403-1428（2022）. 摘要：在本文中，我们引入了一元L-代数的概念，并研究了这些新结构的性质。我们定义并研究了一元L-代数的一元理想，并且刻画了由一元L-代数子集生成的一元思想。我们定义了带否定的半正则L-代数上的存在量词和泛量词，并研究了这些结构的某些性质。在这个意义上，我们证明了存在量词和全称量词之间存在一对一的对应关系。我们证明了带否定的半正则L-代数上的任何一对严格量词都是一个一元算子。 引用于1文件 MSC公司： 03G25号 与逻辑相关的其他代数 05年6月 有序半群和幺半群 03G10年 格和相关结构的逻辑方面 关键词：L-代数;一元L-代数;一元理想;存在量词;全称量词;函数一元L-代数 PDF格式BibTeX公司 XML格式引用 \textit｛L.C.Ciungu｝，数学。斯洛伐克72，No.6，1403-1428（2022；Zbl 07629480） 全文： 内政部 参考文献： [1] 阿巴德，M.：《ukasiewicz代数研究所》，博士论文，《马提马提卡宗教笔记》，第36卷，国立外科大学，马提马蒂卡研究所，巴西亚布兰卡，1988年，viii+124。 [2] Bezhanishvili，G.：一元Heyting代数的种类I，Stud.Log。61 (1998), 367-402. ·Zbl 0964.06008号 [3] 博斯巴赫（Bosbach，B.）：《哈尔布格鲁彭的实施》（Komplementäre Halbgruppen）。Axiomatik和Aritmetik，基金。数学。64 (1969), 257-287. ·Zbl 0183.30603号 [4] Bosbach，B.：关于锥代数，《普遍代数》15（1982），58-66·Zbl 0507.06013号 [5] Castaño，D.-Cimadamore，C.-Díaz Varela，J.P.-Rueda，L.：一元BL-代数：哈耶克一元模糊逻辑的等价代数语义，模糊集与系统320（2017），40-59·Zbl 1387.03074号 [6] Chajda，I.-Kolaříc，M.：一元基本代数，帕拉基大学学报。奥洛穆克。，工厂。雷尔。《自然数学》47（2008），27-36·Zbl 1172.06006号 [7] Cimadamore，C.-Díaz Varela，J.P.：单子MV-代数I：子变种研究，《普遍代数》71（2014），71-100·Zbl 1408.06004号 [8] Cimadamore，C.-Díaz Varela，J.P.：Monadic Wajsberg篮球，联合国牧师。《阿根廷材料》57（2016），63-83·Zbl 1355.06016号 [9] Ciungu，L.C.：非交换多值逻辑代数，Springer，Cham，Heidelberg，New York，Dordrecht，London，2014·Zbl 1279.03003号 [10] Ciungu，L.C.：一元伪BE-代数，数学。斯洛伐克70（2020），1013-1040·Zbl 1484.06074号 [11] Ciungu，L.C.：量子B-代数的一元类，软计算。25 (2021), 1-14. ·Zbl 1491.03082号 [12] Ciungu，L.C.：《L-代数的结果》，《普遍代数》82（1）（2021），第7条·Zbl 1486.06011号 [13] Di Nola，A.-Grigolia，R.：关于单子MV-代数，Ann.Pure Appl。《逻辑》128（2004），125-139·Zbl 1052.06010号 [14] Drăgulici，D.D.：BL代数上的量词，美国大学。，材料通知。50 (2001), 29-42. ·Zbl 1265.03077号 [15] 古里奇博士：多分子BL-代数。一个表示定理，J.Mult-有价值的日志。软计算。16 (2010), 265-302. ·兹伯利1236.03044 [16] Galatos，N.-Jipsen，P.-Kowalski，T.-Ono，H.：《剩余格：亚结构逻辑的代数一瞥》，Elsevier，纽约，2007年·Zbl 1171.03001号 [17] Georgescu，G.-IORGULESCU，A.：伪MV-代数，Mult-值逻辑6（2001），95-135·Zbl 1014.06008号 [18] Ghorbani，S.：一元伪代数，软计算。23 (2019), 12937-12950. ·Zbl 1436.06052号 [19] Grigolia，R.：一元BL-代数，格鲁吉亚数学。J.13（2006），267-276·Zbl 1120.06010号 [20] Hájek，P.：《模糊逻辑的元数学》，Kluwer学院。出版物。，多德雷赫特，1998年·Zbl 0937.03030号 [21] Halmos，P.R.：代数逻辑。一元布尔代数，合成。数学。12 (1956), 217-249. ·Zbl 0087.24505号 [22] Hua，X.J.：状态L-代数和L-代数的导子，软计算。25 (2021), 4201-4212. ·Zbl 1498.06030号 [23] Iorgulescu，A.：BCK-代数类——第三部分，罗马尼亚科学院数学研究所预印本系列3（2004），1-42。 [24] Kondo，M.：关于带全称量词的剩余格，Bull。伊朗数学。Soc.41（2015），923-929·Zbl 1373.03130号 [25] Monteiro，A.-VARSAVSKY，O.：《赫廷·莫纳迪卡斯的代数》，《阿根廷马提马提卡大学学报》，巴西亚·布兰卡，1957年，第52-62页。 [26] Rachůnek，J.：MV-代数的非交换推广，捷克斯洛伐克数学。J.52（2002），255-273·Zbl 1012.06012号 [27] Rachůnek，J.-ŠAlounová，D.：一元有界交换剩余的Ş-幺半群，阶25（2008），157-175·Zbl 1151.06008号 [28] Rachůnek，J.-ŠAlounová，D.：一元GMV-代数，Arch。数学。《逻辑》47（2008），277-297·Zbl 1151.06007号 [29] Rachůnek，J.-ŠAlounová，D.：一元界剩余晶格，第30号令（2013），195-210·Zbl 1263.03060号 [30] Rutledge，J.D.：《无限多值谓词演算的初步研究》，康奈尔大学博士论文，1959年，112页。 [31] Rump，W.：量子Yang-Baxter方程的无平方酉解的分解定理，高级数学。193 (2005), 40-55. ·Zbl 1074.81036号 [32] RUMP，W.：《L-代数、自相似性和У-群》，《代数杂志》320（2008），2328-2348·Zbl 1158.06009号 [33] Rump，W.c，Y.：作为L-代数的▽群中的区间，《普遍代数》67（2012），121-130·Zbl 1268.06012号 [34] Rump，W.：右旋群、几何Garside群和量子Yang-Baxter方程的解，《代数杂志》439（2015），470-510·Zbl 1360.20030号 [35] Rump，W.：L-代数的结构群是无扭的，《群理论》20（2017），309-324·Zbl 1367.2004年10月 [36] Rump，W.：《Hurwitz素数的L-代数》，《J·数论》190（2018），第394-413页·Zbl 1420.11140号 [37] Rump，W.：冯·诺依曼代数、L-代数、Baer*-幺半群和Garside群，《数学论坛》。30 (2018), 973-995. ·Zbl 1443.06005号 [38] Rump，W.：广义正交模格的结构群，Stud.Logica 106（2018），85-100·Zbl 1412.06011号 [39] Subrahmanyam，N.V.：砖和伪MV-代数是等价的，数学。斯洛伐克58（2008），131-142·Zbl 1174.06015号 [40] Wang，J.-Xin，X.-He，P.：一元篮球，软计算。22 (2018), 1749-1762. ·兹比尔1398.06014 [41] Wang，J.-Xin，X.-He，P.：一元NM-代数，Log。J.IGPL 27（6）（2019），812-835·Zbl 1494.03096号 [42] Wu，Y.-Wang，J.-YANG，Y.：格序效应代数与L-代数，模糊集与系统369（2019），103-113·Zbl 1423.03255号 [43] Wu，Y.-Yang，Y.：正交模格作为L-代数，软计算。24 (2020), 14391-14400. ·Zbl 1491.06017号 [44] Yang，Y.-Rump，W.：伪MV代数作为L-代数，J.Mult-有值逻辑软计算。19 (2012), 621-632. ·Zbl 1393.06013号 [45] Zaheriani，S.Y.-Zahiri，O.：Monadic BE-代数，J.Intell。模糊系统。27 (2014), 2987-2995. ·兹比尔1352.06017 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。