×

在具有常规元素的操作上。 (英语) Zbl 1418.03190号

摘要:在本文中,我们证明了以下最大正则展开的满足补格类,它是二重满足补的右伴随,是一个满足Stone等式的等式类。同样的情况是,下面具有最大正则的分配满足补格类与下面具有最大布尔的Stone分配满足补格类相同。

MSC公司:

03G25号 与逻辑相关的其他代数
05年3月 布尔代数的逻辑方面
2012年1月6日 半格
05年6月 MV-代数
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Balbes R,Dwinger P(1975)分配格。密苏里大学出版社,哥伦比亚·Zbl 0321.06012
[2] Balbes,R。;Horn,A.,无文章标题,Stone格子。《杜克数学杂志》,37,537-545(1970)·Zbl 0207.02802号 ·doi:10.1215/S0012-7094-70-03768-3
[3] Caicedo X,Cignoli R(2001)直觉连接词的代数方法。J Symb日志66(4):1620-1636·Zbl 0994.03024号 ·doi:10.2307/2694965
[4] Davey BA,Priestley HA(2008)《晶格与秩序导论》,第二版,第四版。剑桥大学出版社
[5] Dikranjan D,Tholen W(1995)闭合算子的分类结构。多德雷赫特·克鲁沃·Zbl 0853.18002号 ·doi:10.1007/978-94-015-8400-5
[6] Ertola-Biraben RC,Esteva F,Godo L(2017)用布尔连接词扩展FLew。软计算21:97-111。https://doi.org/10.1007/s00500-016-2275-y ·Zbl 1396.03039号 ·doi:10.1007/s00500-016-2275-y
[7] Frink O(1962)半格中的伪补足。杜克数学J 24(4):505-514·兹比尔0114.01602 ·doi:10.1215/S0012-7094-62-02951-4
[8] Grätzer G(1963)Stone的布尔代数表示定理的推广。杜克数学J 30(3):469-474·Zbl 0121.26702 ·doi:10.1215/S0012-7094-63-03051-5
[9] Ribenboim P(1949)用最后一个元素描述分配格中的超补体。Summa Bras数学2(4):43-49·Zbl 0040.01003号
[10] Skolem T(1919)Untersuchungenüber die Axiome des Klassenkalküls undübe Produktations-und Summations problememe,welche gewisse Klasten von Aussagen betreffen。Skrifter uitgit av Videnskapsselskapet i Kristiania公司。一、Matematisk-naturvidenskaleg klasse 3:1-37
[11] Skolem T(1970)《逻辑作品选集》。奥斯陆弗拉盖特大学Fenstad JE(ed)·Zbl 0228.02001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。