当前位置:首页 > 舆论摘要 > 正文内容

舆论摘要:对于论理代数与体例的几何题目接洽

免费论文3年前 (2022-04-10)舆论摘要57

朦胧体例遏制的表面和本领仍旧博得了全球公认的胜利,动作朦胧遏制表面中心的朦胧推导与朦胧论理也日益遭到关心.在朦胧推导的兴盛进程中,曾先后展示出多种命题论理体例. 在稠密的命题论理体例中,Lukasiewicz、Gödel、Product与L*这四种有着鲜明的便宜,即生存[0,1]上的三角模*与它们赋值格[0,1]上的语义包括算子→形成随同对.个中前三种体例对应的三角模是贯串的,P.Hajek便对准这三种贯串的三角模所对应的包括算子而提出了BL-代数,并创造了相映的Basic Logic体例。之后,吴洪博熏陶又对准完美性处置的较好的Lukasiewicz体例和L*体例提出了BL*体例。Basic Logic体例、BL*体例都是创造在结余格及Fuzzy包括代数之上的。那么,它们之间毕竟有怎么办的辨别与接洽?是否被一致?正文便对准那些题目打开了计划。正文便从接洽创造在结余格之上的百般论理代数的本质动手,接洽了与百般论理代数之间,以及与其相映的各论理体例之间的联系。重要功效有:一、对结余格[1]的本质做了进一步的接洽,在此普通上提出了预线性结余格的观念,并证领会预线性结余格相映于全序结余格的完美性。二、在预线性结余格的普通上创造了PL*体例,并证领会其完美性。三、证领会预线性结余格是BL代数与BR0代数的普通, PL*体例是Basic Logic体例与BL*体例的普通。进而获得了预线性结余格是MV代数﹑R0代数﹑G-代数与П-代数的大众普通; PL*体例是Lukasiewicz体例、Gödel体例、Product体例及L*体例的大众普通的论断。四、给出了MV代数、R0代数的几何简化设置,提出了弱格包括代数,并证领会其与BR0代数的等价性。 底下引见正文的构造及重要实质第一章                     计划常识.对作品中将要用到的有结余格、FI代数、BL代数、BR0代数的基础观念和基础本质作一个扼要的报告,并接洽了结余格Fuzzy包括代数之间的联系;。第二章                     提出预线性结余格的观念,并表明其对于全序结余格的完美性。第三章                     在预线性结余格的普通上创造了PL*体例,并证领会其完美性。第四章                     证领会预线性结余格是BL代数与BR0代数的普通, PL*体例是Basic Logic体例与BL*体例的普通。第六章     给出了MV代数、R0代数的几何简化设置,提出了弱格包括代数,并证领会其与BR0代数的等价性。

发表评论

访客

◎欢迎参与讨论,请在这里发表您的看法和观点。