免费论文摘要：几种论理代数的结余格刻划及命题论理体例中前提真度的比拟

正文共分四章，每章重要实质如次：第一章章引见观赏正文时所必需的相关常识.个中第一节大略引见了几种论理代数体例和结余格的基础观念.第二节引见了朦胧命题体例Gödel和L*中的相关真度和演绎定理的关系常识.第三节扼要说领会正文所作的重要处事.第二章在几种要害的论理代数:MV代、R_0代数, BR_0代数,WBR_0代数与结余格之间创造了等价联系,更加是WBR_0代数,经过对WBR_0代数与结余格的比拟领会,获得了WBR_0代数等价于正则结余格的论断.在此普通上,用这种等价联系给出了WBR_0代数的两种等价情势,确定水平上简化了WBR_0代数的设置.第三章对MV代数举行了进一步的接洽,经过前文获得的MV代数与一类正则结余格之间的等价联系,获得了MV代数的两个特性定理.其余,在正交模格上创造了一类弱于MV代数的PMV代数,获得了正交模格与这类代数之间的联系.第四章在两种朦胧命题体例Godel和L*中作了少许对于前提真度的大略计划.因为两种体例中包括算子及其随同三角模有差异的巨细程序,所以,正文试图获得同声包括了包括算子和三角模算子的公式前提真度在这两种命题体例中的巨细程序.固然,这局部不过为获得理念的截止作了少许前期的筹备处事,对六个简直公式举行了前提真度的计划.至于结果论断的创造还须要作很多后续处事.?要害词：MV代数;R_0代数;WBR_0代数;结余格;特性定理;L*体例;Godel体例;前提真度;

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

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