二值命题逻辑中逻辑方程τ(A→X)=m/2n解集的结构

二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构以及近似推理研究中有着重要应用.给出了二值命题逻辑中公式是逻辑方程τ(A→X)=m/2n解的几个充要条件,得到了该逻辑方程的解集分别按真度相等关系和逻辑等价关系的分类定理,并给出了逻辑方程解集中公式的伪距离上确界的数值表示,为进一步研究此类逻辑方程的解集提供...     

区间值模糊命题逻辑的最大子代数及其广义重言式

将S-型蕴涵算子改为R0-蕴涵算子，从而找到区间值模糊逻辑I[0，1]的一个最大子代数IQ，进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。     

多值命题逻辑中逻辑理论的拓扑刻画

基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系，并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。     

二值命题逻辑中有限理论带误差结论集的结构

二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关系和逻辑等价关系进行分类,得到了基于两类等价关系的包含等价类个数和代表元表示形式的分类定理,进一步体现了二值命题逻辑系统近似推理研究中理论Г的带误差结论集的特征。     

区间值模糊命题逻辑系统的广义恒真式

建立区间值模糊命题逻辑系统F(∨,∧,σ┴,c),其中,α^-θ┴b=(α^-)^c┴b^-,┴是I[0,1]中的t-余范;讨论系统F(∨,∧,σ┴,c)与对应的模糊命题逻辑系统F(∨,∧,σ┴,c)在广义恒真式方面的相互关系,得到定理：T^-[0,α]（F^-∨,∧,σ┴,c)=Tα(F(∨,∧,σ┴,c))。     

n值命题逻辑系统中公式真度的进一步研究

首先计算了四个 n 值命题逻辑系统L*,Luk,G(o)d及Ⅱ中一个典型公式户p1→p2真度;然后比较了公式p1→p2在这四个逻辑系统中真度的大小并分析了真度差异的原因;最后,研究了每个逻辑系统中公式p1→p2的真度随 n 变化的情况.     

基于中介逻辑的时序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统     

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

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

一道创新试题的命题逻辑分析与变式推广

培养高中拔尖创新人才时,教师应提升学生用高观点、高视角分析求解试题的能力,引导学生走向数学研究的道路,本文以一道创新试题的研究为例进行说明,分析试题的命题逻辑,并对其进行变式推广.     

(n-1)-半单的n-李代数的几何描述

证明了实数域上(n-1)-半单的(n+1)维n-李代数A是n维欧氏空间的Lorentz群O(p,n-p)与n维Abel正规子群的半直积的n-李代数.且当p=0时,A是n维欧氏空间的等距变换群的n-李代数.并提出了关于(n-1)-半单的(n+1)维n-李代数的外导子的物理应用与几何应用问题.     

四值非线性序集逻辑系统中理论的随机发散度

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

一个二元矩阵插值连分式的展开式

本文借助于文[1]定义的一种实用的矩阵广义逆,构造了一个二元Stieltjes型矩阵值插值连分式的展开式,它的截断分式可以定义二元矩阵值插值函数.     

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

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

三值模糊逻辑函数实现静险态的检测

在二值逻辑回路中 ,只存在 0 -险态和 1-险态。这两种静险态的检测是通过二值模糊逻辑函数实现的。本文将模糊逻辑函数中的变量取为三值 (即 0 ,α ,1)加以研究。给出了三值模糊逻辑函数 f关于某一变量 x存在 0 -险态 ,α -险态和 1-险态的充要条件 ,从中得到 :(1)借助三值模糊逻辑函数实现 12 -险态是行不通的 ;(2 )当α <12 ,传输向量中的第 j个分量为 12 时 ,可以通过三值模糊逻辑函数实现该变量的α -险态     

逻辑,语义和计算机科学中的一些基本思想

本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想为希望在该领域开拓视野之士敞开大门。     

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

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

经典命题逻辑的Boole语义理论

以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。     

Pr值逻辑函数相关免疫的等价判别条件

本文首先基于环Zpr中的元的padic分解并结合概率论的思想,给出了pr值随机变量的分解性质及pr值随机变量独立性的等价描述,然后在对pr值逻辑函数及其变元都进行padic分解的基础上,直接通过p值逻辑函数的Chrestenson谱给出了padic分解意义下pr值逻辑函数k阶相关免疫的线性组合引理和谱判别定理.