×

有界剩余格序幺半群的滤波理论。 (英语) Zbl 1236.03057号

摘要:有界剩余格序幺半群(R\ell\-幺半群)是伪BL-代数和Heyting代数的一个常见推广,即非交换基本模糊逻辑(以及由此产生的基本模糊逻辑、Łukasiewicz逻辑和非交换łukassiewicZ逻辑)和直觉逻辑的代数,分别是。在本文中,我们引入并研究了有界(R)-幺半群的滤子类(在正常情况下)引入商代数,它们分别是Heyting代数、Boolean代数和GMV-代数(=伪MV-代数)。

MSC公司:

03G25号 与逻辑相关的其他代数
05年6月 MV-代数
05年6月 有序半群和幺半群
PDF格式BibTeX公司 XML格式引用