n值Gdel命题逻辑系统中的F度累积理论

在n值Gdel命题逻辑系统中指出概率逻辑学基本定理成立,并提出了与真度相对应的F度,证明了F度累积定理。并比较了概率逻辑学基本定理与F度累积定理的异同。     

增加两类算子的Goguen n值命题逻辑系统的t真度及性质

在n值Goguen命题逻辑系统中增加了两类算子对合否定～和△算子,将该系统记为Goguen～,△.在此系统中建立t真度的概念,基于此真度给出了命题之间的t相似度与t伪距离(t任取～,△).证明了t真度的MP规则、HS规则及运算性质.接着,在证明￡伪距离的基础上建立了度量空间,并论证了算子(→),V在逻辑度量空间(F(S...     

Lukasiewicz n值命题逻辑中命题的真度理论

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。     

Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

基于公式真度的公式集约简

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。     

模糊逻辑系统Luk和L^＊中理论相容度的计算公式（Ⅲ）

解决了模糊逻辑系统L^＊与Luk中理论相容度的计算问题。首先给出了L^＊中理论相容度的计算公式；然后，引入了逻辑公式的核，理论的核的新概念，从而，得到了模糊逻辑系统Luk中理论相容度的计算公式；最后，给出了理论不相容的两个新的充要条件。     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

命题模糊逻辑系统П和God中理论的相容度与下真度的计算公式（Ⅱ）

讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念，得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式，给出理论不相容的新的充要条件。     

n值G?del命题逻辑系统中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在n值命题G(o|¨)del逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中二元运算的连续性.