三值R0命题逻辑系统的随机化

利用赋值集的随机化方法,在三值R0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间.指出当取均匀概率测度,且各概率测度均为1/3时,随机真度就转化为计量逻辑学中的真度,同时两公式间的随机距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间.     

n值逻辑系统中条件随机真度理论

在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间。     

n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理

利用赋值集的随机化方法,在n值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和随机伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.     

逻辑系统L_3中公式的随机真度及近似推理

利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.     

逻辑系统G3中随机真度的推理规则及近似推理

在三值Godel命题逻辑系统中,推出了公式随机真度的推理规则,证明了随机逻辑度量空间中逻辑运算的连续性;研究了随机逻辑度量空间理论的发散度,提出了三种不同类型的近似推理模式,并证明了三种推理模式的等价性.这将进一步完善三值Gōdel逻辑系统中随机真度和随机逻辑度量空间的理论.     

三值G(o)del命题逻辑系统的随机化

利用赋值集的随机化方法,在三值G(o)del命题逻辑系统中提出了公式的随机真度,给出了两公式间的随机相似度,建立了随机逻辑度量空间,因此可以把计量逻辑学中的随机化研究纳入于多值逻辑的研究体系之中.     

关于三值R0命题逻辑系统的若干注记

在三值R0命题逻辑系统中证明了随机真度的MP、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相容程度,并得出对同一个理论而言,二者取值相等的结论.     

经典命题逻辑中公式的Γ-随机真度与近似推理

利用概率空间的无穷乘积,在经典二值命题逻辑中引入了公式的Γ-随机真度概念以及公式间的Γ-相似度概念.进而导出了全体公式集上的一种伪距离,建立了逻辑度量空间.最后提出了基于Γ-随机真度的三种不同的近似推理模式,并且证明了这三种近似推理模式之间是相互等价的.     

三值R_0命题逻辑系统中理论的随机发散度

在三值R_0命题逻辑系统中,给出了随机相似度和随机逻辑伪距离的基本性质.然后在随机逻辑度量空间中提出了理论的随机发散度,指出全体原子公式之集在随机逻辑度量空间中未必是全发散的,其是否全发散取决于给定的随机数序的分布.     

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

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