张小红-四川师范大学学报自然科学版.PDFVIP

年 月 四川师范大学学报（自然科学版） ， 　 ２０１９ １ Ｊａｎ． ２０１９ 　 第４２卷　 第１期 Ｊｏｕｒｎａｌ ｏｆ Ｓｉｃｈｕａｎ Ｎｏｒｍａｌ Ｕｎｉｖｅｒｓｉｔｙ（Ｎａｔｕｒａｌ Ｓｃｉｅｎｃｅ） Ｖｏｌ．４２，Ｎｏ．１ 源于非经典逻辑的代数结构研究综述 张小红 （陕西科技大学 中加数据智能与三支决策研究中心，陕西 西安７１００７２） 作为智能科学的数学基础之一，非经典逻辑（主要指非经典数理逻辑）及相关代数结构扮演着十 摘要： 分重要的角色．对源于非经典逻辑的代数结构进行全面系统总结，从蕴涵片段的视角梳理其中的内在联系， 这些代数结构包括各种可换剩余格、非可换剩余格、非结合剩余格、剩余有序广群、 －代数、 ＢＣＫ／ ＢＣＩ ＢＣＣ／ － － － 代数、伪 代数等 同时介绍近年来非经典逻辑代数方向的最新研究进展，包括量子 代数 ＢＺ ＢＣＫ／ ＢＣＩ ． Ｂ － － － （ｑｕａｎｔｕｍ Ｂ ａｇｅｂｒａ）、ＥＯ 代数（ｅｘｔｅｎｄｅｄ ｏｒｄｅｒ ａｌｇｅｂｒａ）及新近提出的基本蕴涵代数（ｂａｓｉｃ ｉｍｐｌｉｃａｔｉｏｎ ａｌ ）等 ｇｅｂｒａ ． 关键词： 非经典逻辑；模糊逻辑；代数结构；蕴涵代数；滤子 － － － 中图分类号：Ｏ１４１；Ｏ１５９　 　 文献标志码：Ａ　 　 文章编号：１００１ ８３９５（２０１９）０１ ０００１ １４ － ： ｄｏｉ １０．３９６９／ｊ．ｉｓｓｎ．１００１ ８３９５．２０１９．０１．００１ 上述蕴涵运算具有如下性质： ０　 引言 ＝ ∈ ｘ （ｙ ｘ） １，　 ｘ，ｙ Ｘ； （３） → →  说起逻辑代数，自然要从布尔代数（Ｂｏｏｌｅａｎ ａｌ ＝ （ （ ）） （（ ） （ ）） ， ｘ ｙ ｚ ｘ ｙ ｘ ｚ １ → → → → → → ｇｅｂｒａ）开始．１９ 世纪早期，英国数学家乔治 ·布尔 ∈