×

伪环箍

swMATH ID: 29253
软件作者: 乔治·乔治斯库(George Georgescu)、劳伦蒂·卢斯特安(Laurentiu Leustean)、维奥雷尔·普雷奥塔萨(Viorel Preoteasa)
描述: 假箍。伪hoop是B.Bosbach以互补半群的名义引入的代数结构。在这种形式化中,我们证明了伪hoop的一些性质,并定义了过滤器和正规过滤器的基本概念。正规滤波器的格与伪hoop的同余格同构。我们还研究了一些重要的伪hoop类。有界Wajsberg伪hoop等价于伪Wajsberg-代数,有界基本伪hoop等效于伪-BL代数。形式化的最后一节给出了一些伪hoop的示例。
主页: https://www.isa-afp.org/entries/Pseudo Hoops.html
依赖项: 伊莎贝尔
相关软件:
引用于: 43文件

按年份列出的引文