伪环箍 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文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 伪hoops。 Zbl 1078.06007号乔治斯库;劳伦·伊乌·卢什坦;普洛塔萨,维奥雷尔 2005 全部的 前5名40位作者引用 11 Dvurečenskij,阿纳托利亚 9 拉维尼娅·科琳娜(Lavinia Corina)·琼古(Ciungu) 7 拉贾布·阿里·博尔祖艾 5 托马斯·科瓦尔斯基 4 莫娜·阿莱·科洛加尼 4 1月Kühr 三 米查尔·博图尔 三 Jun,Young Bae 2 保罗·阿格里亚诺 2 何鹏飞 2 新墨西哥州Subrahmanyam。 2 辛、小龙 1 科洛加尼·莫纳(Kologani Mona Aaly) 1 安孙欣 1 凯文·博尔纳 1 罗迪卡·塞特基 1 埃马诺夫斯克,皮特 1 乔治斯库 1 罗伯托·吉安蒂尼 1 Kim和Hee Sik 1 安东尼奥·莱达 1 劳伦·伊乌·卢什坦 1 李伟华 1 阿梅内·南达尔 1 弗朗西斯科·保利 1 简·帕塞卡 1 普洛塔萨,维奥雷尔 1 Rachůnek,Jiří 1 阿基夫·拉法尔 1 阿克巴尔·雷扎伊 1 希腊共和国,Rezaei。 1 戈拉姆雷扎·雷扎伊 1 Šalounová,达纳 1 君士坦丁·齐纳基斯 1 瓦拉斯特,H.R。 1 托马斯·维特莱恩 1 王俊涛 1 奥米德·扎希里 1 张晓红 1 赵斌 全部的 前5名20篇连载文章中引用 10 软计算 7 模糊集与系统 5 斯洛伐克数学 4 代数普遍性 2 多值逻辑与软计算杂志 1 国际理论物理杂志 1 巴洛克大学学报。山楂(Facultas Rerum Naturalium)。数学软件 1 捷克斯洛伐克数学杂志 1 信息科学 1 纯粹与应用代数杂志 1 逻辑科公报 1 Mathematica Bohemica公司 1 数学逻辑档案 1 克拉古耶瓦茨数学杂志 1 代数杂志及其应用 1 物理学基础 1 新数学与自然计算 1 代数结构及其应用 1 AIMS数学 1 代数系统杂志 全部的 前5名在6个字段中引用 42 阶、格、有序代数结构(06-XX) 32 数学逻辑和基础(03-XX) 三 一般代数系统(08-XX) 2 量子理论(81-XX) 1 测量和集成(28-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文