×
安东尼奥·萨利布拉;安东尼奥·莱达;弗朗西斯科·保利

因子种类。 （英语） Zbl 1420.08003号

软计算。 21，第6号，1443-1454（2017）.
概述：普遍的代数文献中充斥着对鉴别器种类的概括，一些研究人员试图在更一般的环境中尽可能地保留他们的结构理论。这里，我们修改了鉴别器代数的定义，在其前两个坐标的有序对属于指定关系（不一定是对角关系）的情况下，将开关函数投影到第三个坐标上。我们把这些代数称为因子代数，以及它们产生因子变种的变种。除此之外，我们提供了这些变量的方程描述，并将涉及因子项的方程条件与相关因子关系的属性相匹配。除鉴别器种类外，因子种类还包括来自量子逻辑和模糊逻辑的几种代数种类。

MSC公司：

08B05号 等式逻辑，Mal'tsev条件
08B10号 同余模块性，同余分配性

关键词：

中心元素;分解运算符;鉴别器种类
PDF格式BibTeX公司 XML格式引用
\textit{A.Salibra}等人，《软计算》。21，第6号，1443-1454（2017；Zbl 1420.08003）
全文： 内政部 链接

参考文献：

[1] Berman J（2011）有限生成代数大小的上界。演示数学44:3·Zbl 1243.08008号
[2] Bignall R（1991）非交换多值逻辑。In:逻辑多值（ed）1991。不列颠哥伦比亚省，第二十一届国际研讨会记录，维多利亚，第49-54页·Zbl 0219.08002号
[3] Bignall RJ，Leech J（1995），斜布尔代数和判别器变种。普遍代数33:387-398·Zbl 0821.06013 ·doi:10.1007/BF011090707
[4] Blok WJ，Pigozzi D（1994）关于具有等式可定义主同余的变种的结构III.代数普遍32（4）：545-608·Zbl 0817.08004号 ·doi:10.1007/BF01195277
[5] Bloom SL（1976）有序代数的种类。计算机系统科学杂志13（2）：200-212·Zbl 0337.06008号
[6] Burris S，Sankappanavar HP（1981）普适代数课程。数学研究生课本，第78卷。柏林施普林格·Zbl 0478.08001号
[7] 布伦斯，G。；哈丁，J。；Coecke，B.（编辑）；等。，正交模格的代数方面，37-65（2000），Dordrecht·Zbl 0955.06003号 ·doi:10.1007/978-94-017-1201-92
[8] Busaniche M，Cignoli R（2010）作为子结构逻辑的强否定构造逻辑。逻辑计算杂志20（4）：761-793·Zbl 1205.03040号 ·doi:10.1093/log.com/exn081
[9] Chajda I，HalašR，Rosenberg IG（1999）《理想与泛代数中的二进制鉴别器》。代数普遍42:239-251·Zbl 0979.08001号 ·doi:10.1007/s000120050001
[10] Cignoli R，D’Ottaviano IML，Mundici D（1999）多值推理的代数基础。多德雷赫特·克鲁沃·Zbl 0937.06009
[11] Cignoli R，Torrens A（2006）“满足方程的各种Glivenko MTL代数中的自由代数http://www.w3.org/1999/xlink“>2（x2）=（2x）2。逻辑研究83（1-3）：157-181·Zbl 1115.06006号 ·doi:10.1007/s11225-006-8302-8
[12] Comer S（1971）布尔空间上截面的代数表示。Pac J数学38:29-38·Zbl 0219.08002号 ·doi:10.2140/pjm.1971.38.29
[13] Cvetko-Vah K，Salibra A（2015）《斜布尔代数和判别器变种与Church代数的联系》。代数普遍73（3-4）：369-390·Zbl 1332.03011号 ·doi:10.1007/s00012-015-0320-9
[14] Domenech G，Freytes H，de Ronde C（2011）正交模量子系统中二值态的方程表征。代表数学物理68（1）：65-83·兹比尔1301.81018 ·doi:10.1016/S0034-4877（11）60027-X
[15] Fried E，Pixley AF（1979）泛代数中的对偶鉴别器函数。科学数学学报41:83-100·Zbl 0395.08001号
[16] Galatos N，Jipsen P，Kowalski T，Ono H（2007）剩余格：子结构逻辑的代数一瞥。阿姆斯特丹爱思唯尔·Zbl 1171.03001号
[17] Goldblatt R（1975）模态逻辑中的一阶可定义性。符号逻辑杂志40:35-40·Zbl 0311.02029号 ·doi:10.2307/2272267
[18] Hájek P（1998）《模糊逻辑的元数学》。多德雷克特克鲁沃·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3
[19] Ledda A，Paoli F，Salibra A（2013）关于类半布尔代数。帕拉克·奥洛穆克大学学报52（1）：101-120·Zbl 1335.06009号
[20] Leech J（1989）《环中的斜晶格》。代数普遍26:48-72·Zbl 0669.06006号 ·doi:10.1007/BF01243872文件
[21] Leech J（1996）斜格理论的最新发展。半群论坛52:7-24·Zbl 0844.06003号 ·doi:10.1007/BF02574077
[22] Manzonetto G，Salibra A（2008）从λ-微积分到泛代数及其后。包含：MFCS’08，第5162卷。LNCS，柏林，第479-490页·Zbl 1173.03302号
[23] McKenzie RN、McNulty GF、Taylor WF（1987）《代数、格、变种》，第一卷，沃兹沃斯·布鲁克斯，蒙特雷·Zbl 0611.08001号
[24] Paoli F、Ledda A、Kowalski T、Spinks M（2014）《准双识别剂品种》。《国际代数计算杂志》24（3）：375-411·Zbl 1335.08004号 ·doi:10.1142/S0218196714500179
[25] Raftery J（2007）可表示幂等交换剩余格。事务AMS 359（9）：4405-4427·兹比尔1117.03070 ·doi:10.1090/S0002-9947-07-04235-3
[26] Roddy M（1987）模正交格的种类。订单3（4）：405-426·Zbl 0618.06004号 ·doi:10.1007/BF00340782
[27] Salibra A，Ledda A，Paoli F，Kowalski T（2013）布尔型代数。代数普遍69（2）：113-138·Zbl 1284.06033号 ·doi:10.1007/s00012-013-0223-6
[28] Spinks M（2003）关于Pre-BCK代数的理论。莫纳什大学博士论文·Zbl 1243.08008号
[29] Vaggione D（1996）皮尔斯茎直接不可分解的品种。J代数184:424-434·Zbl 0868.08003号 ·doi:10.1006/jabr.1996.0268
[30] Vaggione D（2000）四元鉴别器的等式表征。普遍代数43:99-100·Zbl 1011.08001号 ·doi:10.1007/s000120050147
[31] van Benthem J（1984）对应理论。收录于：Gabbay D，Guenthner F（eds）《哲学逻辑手册》，第1版，第2卷。多德雷赫特·雷德尔·Zbl 0875.03048号
[32] Werner H（1978）判别代数，Studien zur代数和ihre Anwendungen，第6卷。柏林Akademie-Verlag·Zbl 0374.08002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。