免费论文摘要：QBL代数与IMTL代数及体例的接洽

?????? 连年来, 朦胧论理与多值论理的接洽招引了很多鸿儒的爱好, 这不只极地面激动了百般论理体例与论理代数的兴盛, 并且还博得了可喜的功效. Hajek 熏陶以结余格为基础结建立立了与普通命题论理体例BL相配合的语义表面--普通论理代数BL. 在此普通上, Esteva和Godo创造了IMTL体例及相映的IMTL代数, 并证领会IMTL体例是MTL体例的模子蔓延. 吴洪博熏陶提出了普通朦胧命题验算的情势演绎体例BL*, 并证领会Lukasiewicz命题验算体例和朦胧命题验算的情势演绎体例L*辨别是BL*体例的蔓延. ??????? 鉴于之上表面的接洽, 正文的构造和重要实质安置如次:第1章?? 计划常识. 本章给出了作品中将要用到的结余格, BL代数, BL*体例等基础观念及关系论断.第2章 QBL-代数. 开始给出了一种新的代数构造-QBL-代数, 并对其本质举行了接洽. 其次, 计划了QBL-代数与BL-代数前提之间的联系. 结果得出这两种代数构造的等价性.第3章 IMTL-代数上的素布尔朦胧理念. 开始在IMTL代数上引入素布尔朦胧理念的观念, 其次给出了它的等价刻划. 结果运用朦胧理念设置了少许新朦胧集, 并计划了它们的本质.第4章 IMTL体例与BL*体例之间的联系. 开始对BL*体例中的本质作了进一步的接洽, 证领会IMTL体例中的正义在BL*体例中创造.其次, 证领会BL*体例中的正义在IMTL体例中也创造. 结果得出两体例之间是等价的.

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/246915.html