×

附近有超控操作。 (英语) 兹比尔1216.06003

近格是一个满足半格,其中每个初始段都是一个格。如果所有这些晶格都是布尔的,则称其为布尔。覆盖\(a)和\(b)是一种二进制运算,定义为所有元素\(x)的上确界,使得\(x \)低于\(a。特别是,重写扩展了部分联接操作。覆盖超格的自然示例是树和适当的部分函数代数。例如,每个完备半格都是覆盖近格。在特定情况下,覆盖近格成为所谓的o-近格,其中覆盖操作与连接操作一致。本文研究了oreriding的基本性质,得到了一个公理化描述,并给出了关于该运算的结合性的几个结果。研究了泛函o-半格,刻画了该簇的次直不可约成员。主要结果是具有关联覆盖的布尔近格的一个表示定理。

MSC公司:

2012年1月6日 半格
08A55号 部分代数
08B26号 次直积和次直不可约性
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abbot,J.C.:半布尔代数。马特·维森。4(19), 177–198 (1967) ·Zbl 0153.02704号
[2] Abbot,J.C.:蕴涵代数。牛市。数学。社会科学。数学。Répub餐厅。社交。鲁姆。11(59), 1–23 (1967)
[3] Adaricheva,K.、Maróti,M.等人:Jónsson–Kiefer地产。螺柱日志。83, 1–22 (2006) ·Zbl 1108.06004号 ·数字对象标识代码:10.1007/s11225-006-8300-x
[4] Burmeister,P.:部分代数的模型理论方法。Akademie,柏林(1986)·Zbl 0598.08004号
[5] Burmeister,P.:部分代数——导论。在:Rozenberg,I.G.,Subidussi,G.(编辑)代数与阶,第1–70页。Kluwer学院。,多德雷赫特(1993)·Zbl 0789.08003号
[6] Burris,S.,Sankappanavar,H.P.:通用代数课程。施普林格,纽约(1981)·Zbl 0478.08001号
[7] Cardeli,L.,Mitchell,J.C.:记录操作。数学。结构。计算。科学。1, 3–48 (1991) ·Zbl 0727.68020号 ·doi:10.1017/S0960129500000049
[8] Chajda,I.,Eigenthaler,G.,Länger,H.:泛代数中的同余类。Helderman,Lemgo(2003)·兹比尔1014.08001
[9] Cérulis,J.:减法近半格。程序。拉丁美洲。阿卡德。科学。,B 52、228–233(1998年)·Zbl 1027.06007号
[10] Círulis,J.:知识表示的代数方法。In:程序。症状。数学。已找到。计算。科学99.莱克特。注释计算。科学。,第1672卷,第299-309页。柏林施普林格(1999)·Zbl 0955.68106号
[11] Cornish,W.H.,Hickman,R.C.:弱分配半格。数学学报。阿卡德。科学。挂。32, 5–16 (1978) ·Zbl 0497.06005号 ·doi:10.1007/BF01902195
[12] Cornish,W.H.:3-互变性和拟交换BCK-代数。数学。日本。25, 477–496 (1980) ·Zbl 0444.03035号
[13] Cornish,W.H.,Noor,A.S.A.:近晶格中的标准元素。牛市。澳大利亚。数学。Soc.26185-213(1982)·Zbl 0523.06006号 ·doi:10.1017/S0004972700005700
[14] Curry,H.B.:数学逻辑基础。McGraw-Hill,纽约(1973年)·Zbl 0172.00801号
[15] Davey,B.A.,Priestley,H.A.:《格与秩序导论》,第二版。剑桥大学出版社,剑桥(2002)·Zbl 1002.06001号
[16] Gorbunov,V.A.:拟变分格的结构。代数Univers。32, 493–530 (1994) ·Zbl 0815.08006号 ·doi:10.1007/BF01195725
[17] Grätzer,G.,Scmidt,E.T.:p-格的同余格。代数大学。33, 470–477 (1995) ·Zbl 0827.06007号 ·doi:10.1007/BF01225470
[18] Grätzer,G.,Schmidt,E.T.:有限格的自同构群和同余格的强独立性定理。拜特尔。代数几何。36, 97–108 (1995) ·兹比尔0817.06005
[19] Guzmán,F.:正关联BCK-代数的偏序集结构。代数大学。32, 398–406 (1994) ·Zbl 0811.06018号 ·doi:10.1007/BF01235177
[20] 希克曼,R.:连接代数。Commun公司。代数8(17),1653-1685(1980)·Zbl 0436.06003号 ·doi:10.1080/0092787800822537
[21] Kimura,N.:幂等半群的注记I.Proc。日本。阿卡德。33, 642–645 (1957) ·Zbl 0079.25102号 ·doi:10.3792/pja/1195524893
[22] Leech,J.:斜格理论的最新发展。半团体论坛52,7–24(1996)·Zbl 0844.06003号 ·doi:10.1007/BF02574077
[23] 努尔,A.S.A.:近晶格的同位素。牛市。澳大利亚。数学。Soc.22472-474(1980)·Zbl 0433.06006号 ·doi:10.1017/S0004972700006808
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。