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

朦胧体例遏制的表面和本领仍旧博得了全球公认的胜利，动作朦胧遏制表面中心的朦胧推导与朦胧论理也日益遭到关心.在朦胧推导的兴盛进程中，曾先后展示出多种命题论理体例. 在稠密的命题论理体例中，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代数的等价性。