×

如何在正交模偏序集中引入连接含意。 (英语) Zbl 1472.06008号

作者在定义为集({x'\lorz\mid-z\lex,z\ley-})的正交模偏序集中使用了连接蕴涵(x\to-y)(受正交模格中定义(x'\lo(x\landy)的启发)。他们表明,部分满足运算的这种蕴涵形成了所谓的非锐化剩余偏序集,相反,具有特殊性质的非锐度剩余偏序集中形成了正交模偏序集。这种对应关系几乎是一对一的(对于非锐化剩余偏序集,通过对正交偶上蕴涵恒等的非锐化伴随运算,得到了相同的正交模偏序集)。

MSC公司:

06第15页 补格、正交补格和偏序集
2011年1月6日 偏序集的代数方面
03G12号机组 量子逻辑
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Beran,L.,《正交模格》。代数方法(D.Reidel,Dordrecht,1985),ISBN 90-277-1715-X。
[2] Chajda,I.,Kühr,J.和Länger,H.,相对剩余格和偏序集,数学。斯洛伐克70(2020)239-250·Zbl 1505.06005号
[3] Chajda,I.和Länger,H.,《正交模晶格中的残余》,Topol。代数应用5(2017)1-5·Zbl 1404.06009号
[4] Chajda,I.和Länger,H.,正交模格可以转换为左剩余L-群胚,Miskolc Math。附注18(2017)685-689·Zbl 1399.06020号
[5] I.Chajda和H.Länger,有效代数中的非夏普剩余,J.多值逻辑软计算。(已提交),http://arxiv.org/abs/1907.02738。 ·Zbl 1505.06015号
[6] Galatos,N.、Jipsen,P.、Kowalski,T.和Ono,H.,《剩余格:子结构逻辑的代数一瞥》(Elsevier,Amsterdam,2007),国际标准书号978-0-444-52141-5·兹比尔1171.03001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。