×
查伊达，I。;科拉西克，M。

附近的房间。 （英语） Zbl 1151.06004号

离散数学。 308，第21号，4906-4913（2008）.
为了描述逻辑中蕴涵连接词的代数性质，我们使用了所谓的蕴涵代数。结果表明，相应的代数结构是联合相似的，其中每个主滤波器都是一个关于诱导阶的格，而且它们还配备了一个作为互补的反调对合。然而，这种方法不能推广到直觉主义逻辑中的蕴涵，因为蕴涵的连接词被识别为相对伪互补，而相对伪互补不是对合；此外，在直觉主义逻辑中，连接词、析取词和否定词是独立的。这促使作者使用一种非常通用的方法：他们处理联合相似性，其中每个主过滤器都是一个格，当公理化它们时，他们引入一个段伪互补（类似于格）以达到另一种直觉主义逻辑。因此，他们引入了近格的概念，即联合相似性，其中主滤波器是相对于诱导阶的格。此外，近格可以被描述为具有一个满足八个简单恒等式的三元运算的代数，因此，近格类是一个变种（一个同余分布的变种）。
作者定义了（3）型分配代数和对偶分配代数的概念，并证明了这两个概念对于近格是等价的（也等价于关联半格中每个主滤子都是分配格的事实），因此分配近格的变化是局部有限的。最后，主滤波器为伪补格的近格称为分段伪补近格。作者证明了所有分段伪补近格的类是一个变种，并且每个有限分配近格都是分段伪补的。
审核人：弗洛伦蒂娜·奇尔特什（克雷奥瓦）

引用于22文件

MSC公司：

2012年1月6日 半格
03G10年 格和相关结构的逻辑方面
6点20分 格子的种类
03B20型 经典逻辑子系统（包括直觉逻辑）
08年10月 同余模块性，同余分配性

关键词：

近晶格;半格;分配格;同余分配簇;截面伪互补
PDF格式BibTeX公司 XML格式引用
\textit{I.Chajda}和\textit{M.Kolařík}，离散数学。308，编号214906-4913（2008年；兹bl 1151.06004）
全文： DOI程序

参考文献：

[1] Abbott，J.C.，半布尔代数，Mat.Vesnik，4177-198（1967）·Zbl 0153.02704号
[2] Abbott，J.C.，正交蕴涵代数，Studia Logica，35，173-177（1976）·Zbl 0331.02036号
[3] Chajda，I.，相对伪补码对非分配格的扩展，科学学报。数学。（塞格德），69，491-496（2003）·Zbl 1048.06005号
[4] 查达，I。；哈拉什，R。；Länger，H.，正交模蕴涵代数，国际。J.西奥。物理。，40, 1875-1884 (2001) ·Zbl 0992.06008号
[5] 查达，I。；哈拉什，R。；Länger，H.，正交模蕴涵代数的简单公理，国际。J.西奥。物理。，43, 911-914 (2004) ·Zbl 1064.06003号
[6] 查达，I。；Radeleczki，S.，关于伪补非分布格定义的变体，Publ。数学。德布勒森，63，4737-750（2003）·Zbl 1047.06004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。