直觉模糊命题逻辑的广义拟重言式及其分类

通过定义一个蕴涵算子,建立一个直觉模糊命题逻辑系统(I20, ,V,→T),讨论了系统I20上的广义拟重言式的分类,将王国俊教授的广义重言式理论从一维推广到二维的直觉模糊命题逻辑上.     

扰动模糊命题逻辑的代数结构及其广义重言式性质

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.     

参数Kleene系统中的广义重言式

引入新的一组带对数ｐ（ｐ∈「０,１」的ｔ－范∧ｐ,ｔ－余范∨ｐ和蕴涵θｐ,讨论它们的基本性质。在此基础上参数Ｋｌｅｅｎｅ系统Ｋｐ与三值Ｋｌｅｅｎｅ系统Ｋ３,三值Ｌｕｋａｓｉｅｗｉｃｚ系统Ｌ３和经典二值系统Ｂ２关于（广义）重言式的相互关系,指出系统Ｋｐ对广义重言式而言是可判定的。     

Goedel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统/W，W，Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G，G，Gn中。主要结果是：在逻辑系统/G，G中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Gn中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和α-矛盾式概念分别在/G，G，Gn中给出了F（S）的一个关于→同余的分划。     

系统RDP中的广义重言式理论

研究带参数的模糊逻辑系统RDP中的广义重言式理论.结果表明系统RDP中只有三种不同的广义重言式,即(1/2),重言式,(1/2)+-重言式和重言式.将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可迭0-重言式和可达(1/2)-重言式分别提升为可这(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式.这表明对非重言式有限次利用升级算法未必能得到重言式.     

赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2

研究赋值格为非线性序，非运算　｜不同于Ｂｏｏｌｅ 的补运算′，而蕴含算子→取ＫｌｅｅｎｅＤｉｅｎｅｓ的ＲＫ 的一种新的四值逻辑系统Ｋ２４，得到若干结果。特别是，Ｋ２４中没有重言式，其准重言式恰与Ｃ２ 中的重言式一致，即ＱＴ（Ｋ２４）＝ Ｔ（Ｃ２）。     

R_0-代数[0,1]的子代数与广义重言式

本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。     

赋值格为非线性序的Kleene-Dienes四值逻辑系统K24

研究赋值格为非线性序,非运算不同于Ｂｏｏｌｅ的补运算,而蕴含算子→取Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ的ＲＫ的一种新的四值逻辑系统Ｋ＾２４,得到若干结果。特别是,Ｋ＾２４中没有重言式,其准重言式恰与Ｃ２中的重言式一致,即ＱＴ（Ｋ＾２４）＝Ｔ（Ｃ２）。     

修正的Product逻辑系统中的广义重言式理论

首先证明了在修正的Product逻辑系统中广义重言式有更加精细的区分；其次通过引入一类特殊的公式序列和特殊公式，进一步证明了对任意有理数a∈[0，1]，可达α-重言式集是类类非空的，并同时给出了修正的Product逻辑系统中广义重言式的升级算法。     

Lukasiewicz多值逻辑系统中的广义重言式理论

引入一类特殊的公式序列Ａｋ,ｋ＝１,２,…,证明了在Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统,对任意真值ａ∈Ｌｎ而言,可达ａ－重言式类类不空,进一步证明了系统中广义重言式的类类互异定理,最后讨论了Ｌｕｋａｓｉｅｗｉｃｚ多值逻辑系统与经典二值逻辑系统中重言式之间的关系。     

多值逻辑系统RDP中的子代数理论

系统RDP是一个带有参数的系统,将参数a赋予不同的值,将会得到不同的多值逻辑系统.本文研究了多值逻辑系统RDP中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统RDP的进一步研究奠定了基础.     

基于FI-代数的一个逻辑系统

建立一种基于FI-代数的模糊命题演算的形式演绎系统．并讨论了该系统语义的完备性。其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中．以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题。     

计量逻辑学的基本思想和研究综述

介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ,并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。ＭＦＮ将为进一步讨论不完全信息数据库作准备     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和     

四值非线性序集逻辑系统的随机化

利用赋值集的随机化方法,在四值非线性序集逻辑系统L24中提出了公式的随机真度和随机距离,建立了非线性序集逻辑系统上的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在非线性序集逻辑系统上的推广.     

关于格蕴涵代数的余元及结构

根据格蕴涵代数的性质，利用蕴涵滤子的概念，给出一种确定任意元素的余元的思路，指出在几种特殊的分配格上不能定义格蕴涵代数，给出几种格蕴涵代数的结构。     

不完全三值逻辑在语言表达上的相互比较

深入讨论各种命题联结词含量不完全的三值逻辑的语言表达的能力,完全弄明白了三值系统L3,L3,B3,B3,K3,K3,MP的语言表达能力的等效或不等效关系,特别应当指出的一个结论是：中介命题逻辑MP作为一种命题联结词含量不完全的三值系统而言,它和其他命题联结含量不完全的三值逻辑L3,L3Δ,B3,B3Δ,K3,K3Δ的语言表达能力都不等效,从而也由此体现出MP的一种自身特色。     

再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究

模糊逻辑及其扩充是处理不确定性与模糊性信息的重要数学工具,在近似推理、人工智能等领域有着广泛的应用。而逻辑程序也已经成为人工智能的研究热点之一。本文是在再扩充模糊逻辑中,对逻辑程序进行了语义的研究。给出了其语法和语义描述,并且将逻辑程序的许多主要结论推广到再扩充模糊逻辑中。首先,得到了关于模糊逻辑推论的充分必要条件以及模型交与强模型交性质。然后,通过引入一个H erbrand解释算子Pτ:LBp→LBp,给出了确定性程序P的H erbrand模型的充分条件和强H erbrand模型的充分必要条件。最后,建立了确定性程序的最小强H erbrand模型的不动点刻画定理。     

关于命题逻辑系统中相似度性质的修正

通过对计量逻辑的再研究,发现对计量逻辑中公式间相似度,逻辑距离的理解方面存在着一些偏差,并且造成这些偏差存在的根源是对公式间相似度性质理解的偏差.本文的目标是通过构造实例说明这些偏差的存在性并对这些偏差给予修正.本文的结果将有助于对计量逻辑中公式间的相似度,逻辑距离等概念更加深入,正确的理解.