当前位置:问答库>论文摘要

题目:剩余格与基于剩余格的几类代数系统的关系

关键词:(正规、正则、次正规)剩余格,(次)BL-代数,(弱)R_0-代数,MV-代数,格蕴涵代数,(正则、正规)Fuzzy蕴涵代数,Heyting代数,Boole代数,蕴涵格,(Fuzzy、素)MP滤子,(正则)RL型蕴涵,三I(MT)算法,还原性

  摘要

  本文研究若干类逻辑代数系统包括MV-代数、格蕴涵代数、Fuzzy蕴涵代数、Heyting代数、Boole代数、蕴涵格、R_0-代数等与剩余格的关系以及这些代数系统相互之间的关系。同时还研究R_0-代数的Fuzzy MP滤子、RL型蕴涵与Fuzzy推理的三I算法等问题。这些内容是非经典逻辑与Fuzzy推理研究中较为关注的问题。全文分四章,分别就这些问题进行了研究。   在非经典逻辑中,由J.Pavelka引入的剩余格是一种非常重要而基本的代数结构,也是当今较为流行的理论与方法。但这一方法目前在国内似未普及,加之各种逻辑代数系统如C.C.Chang提出的MV-代数、由国内学者吴望名教授提出的Fuzzy蕴涵代数、徐扬教授提出的格蕴涵代数以及王国俊教授提出的R_0-代数等在定义形式上存在很大差异,掩盖了它们与剩余格的关系以及相互之间的重要联系,给研究者造成诸多不便。因此,弄清以上各种代数与剩余格之间的关系对于把握它们相互之间的关系有重要意义,这无疑会对今后的研究起到促进作用。