×
卢西亚诺·J·冈萨雷斯。;M.B.拉坦齐。;彼得罗维奇，A.G。

四值Łukasiewicz代数上量词的另一种定义。 （英语） Zbl 1414.03014号

日志。通用。 11，第4期，439-463（2017）.
G.C.Moisil公司的四值Łukasiewicz代数，L_（4\）-代数，在[Ann.Sci.Univ.Jassy，Sect.I，Math.26，431-466（1940；Zbl 0025.00409号)]. 最近，提出了一元L（_4）-代数的概念，即带有附加存在量词的L（_4-）-代数[乔治斯库等，多重-有价值的日志。第3期，第235-257页（1998年；兹比尔0920.06004)]. 本文介绍了（一元）L_4-代数存在量词的另一种定义。
主要结果见第2-5节。
第二节介绍了新的（frac{2}{3}）存在量词以及随后的一元（frac}{3{）L_4代数的概念。给出了一些相关结果。一元\（\frac｛2｝｛3｝\）L\（_4\）-代数类形成了由\（\mathbb）表示的各种代数{米}_\裂缝{2}{3}\mathbb{五十} _4个\)。
在第3节中，对\（mathbb的代数进行了比较{米}_\裂缝{2}{3}\mathbb{五十} _4个\)以及一元四值Łukasiewicz-代数类。结果表明，它们是多项式等价的。
第四节分析了L_4代数的一些存在量词，即布尔量词、格量词和新的（frac{2}{3}）存在量词之间的差异。
最后，在第5节中，给出了（frac{2}{3}）-一元Łukasiewicz谓词逻辑的完备性定理。
审核人：马特奥·比安奇（米兰）

引用于1文件

MSC公司：

03G20年 Łukasiewicz和后代数的逻辑方面
03B50号 多值逻辑
06时30分 De Morgan代数，Łukasiewicz代数（格理论方面）
05年6月 MV-代数

关键词：

四值Łukasiewicz-Moisil代数;量词;一元逻辑

引文：

Zbl 0025.00409号;Zbl 0920.06004号
PDF格式BibTeX公司 XML格式引用
\textit{L.J.González}等人，《日志》。Univers大学。11，第4号，439--463（2017；Zbl 1414.03014）
全文： 内政部

参考文献：

[1] M.阿巴德（Abad，M.）：《乌克兰瓦伦丁之路》（Estructuras cíclica y monádica de unálgebra deŁukasiewicz n-valente）。Logica Matemática笔记，第36卷。苏尔国立大学（1988年）·Zbl 1398.03212号
[2] Boicescu，V.，Filipoiu，A.，Georgescu，G.，Rudeanu，S.：Łukasiewicz-Moisil代数。北荷兰（1991）·Zbl 0726.06007号
[3] Burris，S.，Sankappanavar，H.P.：通用代数课程。柏林施普林格（1981）·Zbl 0478.08001号 ·doi:10.1007/978-1-4613-8130-3
[4] Cignoli，R.：作为Łukasiewicz n值介词演算的S-代数的真n值ಌukasewicz代数。《逻辑研究》41，3-16（1982）·Zbl 0509.03012号 ·doi:10.1007/BF00373490
[5] Cignoli，R.：关于分配格点的量词。离散数学。96, 183-197 (1991) ·Zbl 0753.06012号 ·doi:10.1016/0012-365X（91）90312-P
[6] Cignoli，R.，D’Ottaviano，I.，Mundici，D.：多值推理的代数基础。Kluwer学术出版社，多德雷赫特（2000）·Zbl 0937.06009 ·doi:10.1007/978-94-015-9480-6
[7] Georgescu，G.，Iorgulescu，A.，Leustean，I.：单子和闭包MV-代数。多重。Val.Logic 3，235-257（1998）·兹比尔0920.06004
[8] Hájek，P.：模糊逻辑的数学方法。Kluwer学术出版社，Dordrecht（1998）·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3
[9] Halmos，P.：代数逻辑I.数学合成12，217-249（1955）
[10] Halmos，P.：代数逻辑。切尔西出版公司，怀特河枢纽（1962）·Zbl 0101.01101号
[11] Iorgulescu，A.：MV代数与n值ukasiewicz-Moisil代数之间的联系。第一部分离散数学。181, 155-177 (1998) ·Zbl 0906.06007号 ·doi:10.1016/S0012-365X（97）00052-6
[12] Iturrioz，L.：Łukasiewicz和对称Heyting代数。Zeitschrift für Mathematische Logik und Grundlagen de Mathematik（1977年）23、131-136·Zbl 0373.02042号 ·doi:10.1002/malq.19770230706
[13] Krongold，F.：《代数与逻辑》，Tesis de Licenciatura dirigida por el Roberto Cignoli博士（手稿）·Zbl 0582.06012号
[14] Monteiro，L.：ukasiewicz三值代数。Logica Matemática笔记，第32卷。苏尔国立大学（1974年）·Zbl 0298.02063号
[15] Monteiro，A.：希廷教堂。葡萄牙数学39，1-237（1980）·兹伯利0582.06012
[16] Petrovich，A.：三值Łukasiewicz代数中量词的另一种定义。XIV里约热内卢帕拉蒂拉美裔拉美裔马特马提卡（2008）
[17] Petrovich，A.，Lattanzi，M.：三值Łukasiewicz代数上量词的另一种概念。多重-价值逻辑软计算。28(4-5), 335-360 (2017) ·Zbl 1398.03212号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。