关于模糊逻辑函数计数的一些结果

模糊逻辑函数的计数至今仍是一个未解决问题，本文利用模糊逻辑函数析取范式的存在唯一性，引进基本片语集合，Ａｊ，Ｇ（ａ）及Ｇ（ａ１，…Ｇｋ），推导出Ｇ（ａ），Ｇ（ａ１，…，ａｋ）Ｇ（ａ）∩Ａｊ以及Ｇ（ａ１，…，ａｋ）∩Ａｊ的计数公式，并给出了ｎ元模糊逻辑函数的一个计数公式。     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.     

形式演绎系统f的扩张

从语义和语法两个方面将形式演绎系统f层次化,得到f的一个扩张,从而增强了系统f的表达能力,使之能更有效地应用于模糊系统的研究,。     

多值逻辑系统中的子代数与广义重言式

研究了五个重要的多值逻辑系统Ln,Kn,Sn,Gn 和Wn,讨论了这些系统子代数的特征及计数问题 ,以及这些系统的广义重言式理论 .给出了这些系统子代数的特征性质与计数公式 ,证明了Ln,Sn,Gn 中可达α 重言式类类不空 ,并探明了它们与经典逻辑系统重言式的关系 .     

关于完备格成分理论中两个问题的探讨

研究了完备格成分理论中两个尚未解决的问题：（i)在非分配的完备格中,有限宽元素的成分也是有限宽的吗？（ii)什么样的映射能保持颗粒表示性质或颗粒性质？通过构造反例证明了在非分配的完备格中,有限宽元素的成分不必是有限宽的;还证明了完备格间的同构映射能保持颗粒表示性质和颗粒性质,通过反例证明了同构映射的条件不能减弱,从而解决了以上两个问题。     

R0代数中的蕴涵滤子与同余关系

最近,王国俊教授建立了Ｒ０代数理论,为模糊逻辑提供了一种新的代数结构＾「１」。本文在Ｒ０代数中引入蕴涵滤子及同余关系的概念,并且讨论蕴涵滤子与通常代数滤子的关系,还给出了蕴涵滤子和同余关系的若干重要性质。     

命题逻辑中理论的条件真度

探讨了理论真度的性质后基于条件概率的思想,给出了理论的条件真度的概念,并用它建立了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,最后给出了理论的和谐度的概念,刻画理论内部公式和谐共存的程度。     

形式系统~*的完备性及其应用

研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于（?）-Lindenbaum代数的特殊结构证明了系统（?）的完备性与强完备性.还讨论了形式系统（?）在模糊推理中的应用,所得结果和例子表明系统（?）优于其他一些常用的模糊逻辑系统.     

形式系统T^＊的完备性及其应用

研究了R0代数类的性质与结构，并用这些结果证明了R0区间[0,1]上的每个重言式在任－R0代数上仍是重言式，进而基于T^*－Lindenbaum代数的特殊结构证明了系统T^*的完备性与强完备性。还讨论了形式系统T^*在模糊推理中的应用，所得结果和例子表明系统T^*优于其他一些常用的模糊逻辑系统。     

模糊逻辑与模糊控制中的理想蕴涵

模糊推理是模糊控制的主要理论基础,而模糊推理的重要研究方向之一是对蕴涵算子的研究,包括蕴涵算子的构造、性质分析、特征研究及其应用等。在文中通过对常用的10个蕴涵算子及16个限制性质的综合分析,提出了一类新的蕴涵算子－理想蕴涵,这类蕴涵包括了一些重要的蕴涵算子,如,Lukasiewicz蕴涵,R0蕴涵等。通过对理想蕴涵的进一步研究。给出了它们的一系列重要性质,得到了这类蕴涵的一组简洁的限制条件,讨论了这些条件的合理性,并通过几个反例证明了这些条件之间的独立性,从而为模糊控制与模糊推理提供了一类具有较好性质的蕴涵算子。