题目：几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较

本文共分四章，每章主要内容如下：
第一章章介绍阅读本文时所必须的有关知识.其中第一节简单介绍了几种逻辑代数系统和剩余格的基本概念.第二节介绍了模糊命题系统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系统;条件真度;