托马斯·科瓦尔斯基;弗朗西斯科·保利;马修·斯宾克斯 准潜育品种。 (英语) Zbl 1254.03119号 J.塞姆。日志。 76,第4期,1261-1286(2011). 诸如群、环或布尔代数之类的变体具有这样的特性:在其任何成员中,同余格与更易管理对象的格同构,例如群的正规子群、环的双边理想、布尔代数的滤子(或理想)。这个属性可以有几种不同的形式,尽管最典型的是它出现在这些特殊子集的格的任何成员中。抽象代数逻辑可以在相当令人满意的普遍性水平上解释这些现象:在每个成员中A类(tau)-正则簇(mathbb{V})的同余格A类同构于上的演绎滤子的格A类(mathbb{V})的断言逻辑。事实上,对于形式方程的有限集(tau)来说,(mathbb{V})是正则的要求,正是可代数系统的等价变化语义(因此是最大的等价代数语义)所产生的要求,这反过来又是迫使这种格同构的原因。特别是,如果\(\mathbb{V}\)在其类型中有一个常量1,并且在每个成员中是1-正则的A类在(mathbb{V})的同余格之间有一个同构A类和演绎滤波器的格A类(\mathbb{V})的1-断言逻辑。此外,如果\(\mathbb{V}\)也是1-减法,那么A类\(mathbb{V})的1-断言逻辑的(in mathbb})与A类在Gumm和Ursini的意义上,这甚至更好,因为演绎过滤器可能很难描述,而对于(mathbb{V})-理想来说,这不太可能,这要归功于理想生成的可管理概念的可用性。本文的目的是适当地概括减法的概念,并在最后一节中概括(tau)正则性的概念,从而揭示出这些结果背后的深层原因。这里提出的工具和概念为几个逻辑家族的代数研究提供了一个共同的保护伞,包括子结构逻辑、模态逻辑、量子逻辑和构造数学逻辑。为了更好地理解概念,这里给出的每一个一般定义(如:(τ)置换簇、拟下延簇、开滤子、可逆开收缩)或性质都伴随着来自不同类型逻辑的许多示例(在这个意义上,作者给出了(子)剩余格的例子,拟MV代数、基本代数、(伪)内代数、格序群和Heyting代数)。审核人:弗洛伦蒂娜·奇尔特什(克雷奥瓦) 引用于11文件 MSC公司: 03G27号 抽象代数逻辑 08B99号 品种 关键词:\(τ)-可置换簇;准亚牵引变种;开放式过滤器;平坦子簇;公开的矛盾。 PDF格式BibTeX公司 XML格式引用 \textit{T.Kowalski}等人,J.Symb。日志。76,第4号,1261--1286(2011;Zbl 1254.03119) 全文: DOI程序 参考文献: [1] 软计算12 pp 341–(2008) [2] DOI:10.1007/BF01147116·Zbl 0293.5302号 ·doi:10.1007/BF01147116 [3] 内政部:10.1142/S0218196708004627·Zbl 1148.08002号 ·doi:10.1142/S0218196708004627 [4] 模型、代数和证明pp 167–(1999) [5] DOI:10.1007/BF01236518·Zbl 0799.08010号 ·doi:10.1007/BF01236518 [6] DOI:10.1007/BF01188178·Zbl 0817.08005号 ·文件编号:10.1007/BF01188178 [7] DOI:10.1007/s11225-008-9138-1·Zbl 1166.03010号 ·doi:10.1007/s11225-008-9138-1 [8] 代数逻辑(1989)·兹伯利0664.03042 [9] 数字对象标识码:10.1007/s11225-008-9113-x·Zbl 1145.03013号 ·doi:10.1007/s11225-008-9113-x [10] DOI:10.1023/A:1024673906579·Zbl 1039.08005号 ·doi:10.1023/A:1024673906579 [11] 判别代数(1978) [12] 内政部:10.1016/0168-0072(88)90021-8·Zbl 0643.03014号 ·doi:10.1016/0168-0072(88)90021-8 [13] 内政部:10.1002/malq.19980440304·兹比尔0912.03005 ·doi:10.1002/malq.19980440304 [14] 数字对象标识码:10.1007/s000120050059·Zbl 0934.08002号 ·doi:10.1007/s000120050059 [15] 数学逻辑报告44第53页–(2008) [16] 数字对象标识码:10.1007/s000120050020·Zbl 0906.08005号 ·doi:10.1007/s000120050020 [17] DOI:10.1007/BF01234106·Zbl 0902.08010 ·doi:10.1007/BF01234106 [18] 代数,格,变种1(1987) [19] 逻辑和代数:马加里会议论文集第211页–(1996) [20] Matematicheskii Sbornik(N.S.)35第3页–(1954年) [21] 内政部:10.1007/s11225-006-7202-2·Zbl 1102.06010号 ·doi:10.1007/s11225-006-7202-2 [22] 数字对象标识码:10.1007/s00012-011-0137-0·Zbl 1233.08007号 ·文件编号:10.1007/s00012-011-0137-0 [23] 数学逻辑报告45第161页–(2010年) [24] Studia Logica 77第255页–(2005) [25] 内政部:10.1007/s000120050088·Zbl 0933.03085号 ·doi:10.1007/s000120050088 [26] DOI:10.1023/B:螺柱0000037130.29400.97·Zbl 1072.06003号 ·doi:10.1023/B:STUD.0000037130.29400.97 [27] 内政部:10.1007/BF01191491·Zbl 0547.08001号 ·doi:10.1007/BF01191491 [28] 内政部:10.4153/CBM-1969-095-x·Zbl 0188.04903号 ·doi:10.415/CMB-1969-095-x [29] 内政部:10.1007/BF01190718·Zbl 0713.08007号 ·doi:10.1007/BF01190718 [30] 内政部:10.1016/j.jalgebra.2004.07.002·兹比尔1063.06008 ·doi:10.1016/j.jalgebra.2004.07.002 [31] 剩余格:子结构逻辑的代数一瞥151(2007) [32] DOI:10.1023/A:1024621922509·Zbl 1057.03058号 ·doi:10.1023/A:1024621922509 [33] DOI:10.1002/铝19760220128·Zbl 0347.02040号 ·doi:10.1002/malq.19760220128 [34] 捷克斯洛伐克数学杂志37页197–(1987) [35] 格序群理论(1995)·Zbl 0810.06016号 [36] Studia Logica 45第227页–(1981) [37] Mathematica Bohemica 130第283页–(2005年) [38] 内政部:10.1007/BF01182089·Zbl 0842.08007号 ·doi:10.1007/BF01182089 [39] 普通代数和离散数学第35页–(1995) [40] 泛代数课程(1981)·Zbl 0478.08001号 [41] DOI:10.1007/BF02121118·Zbl 0385.03055号 ·doi:10.1007/BF02121118 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。