平衡逻辑公式在逻辑度量空间中的分布

引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在ν,Λ下构成一个格.证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零.其次,n元平衡逻辑公式的真度总是等于1/2,任一n元平衡逻辑公式的任意小的邻城内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2.最后,给出了平衡逻辑公式的表示定理.     

格值有穷自动机和单体二阶格值逻辑

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schutzenberger分类定理.     

具有Rao简单结构的多元t-模型的参数区间估计

在统计推断中,模型中未知参数的区间估计是一个重要的研究内容.本文通过构造枢轴量研究了具有Rao简单结构多元￡-模型的参数区间估计,利用条件分布技巧,得到枢轴量的分布,从而获得模型中单个未知参数的置信区域以及参数的联合置信区域.     

基于二型模糊逻辑的元胞自动机模型

将二型模糊逻辑推理引入到元胞自动机模型中,把二型模糊逻辑推理与经典的元胞自动机模型结合起来,建立一种新的推理演化模型,基于二型模糊逻辑的元胞自动机模型.元胞自动机模型的关键部分是演化规则和元胞状态.将元胞自动机模型中的演化规则二型模糊化,将经典元胞自动机模型中的元胞状态模糊化为二型模糊状态,建立基于二型模糊逻辑的元胞自动机模型.     

分布逻辑的理论与分析

以往的逻辑理论讨论的是理论上命题之间的逻辑关系,作为一种基本准则,可以放在许多情况下使用,但是一般的逻辑理论相对抽象,命题形式过于简单,这样有时不能很准确很方便地处理实际问题,在传统数学中,分布是一种重要的思想,基于这种思想建立了分布逻辑理论,同时对命题值在分布结构上的真假以及变化进行了讨论。     

R0-代数的（λ,μ）-fuzzy滤子理论

利用模糊点与模糊集之间的属于关系(∈)和拟重合关系(q)在R0-代数中引入了(λ,μ)-fuzzy滤子的概念,其中λ和μ是集合{∈,q,∈∨q,∈∧q}中的任意元素且λ≠∈∧q,并讨论它们的性质和相互关系;获得(∈,∈∨q)-fuzzy滤子的若干等价刻画;给出(∈,∈∨q)-fuzzy滤子成为(∈,∈)-fuzzy滤子以及一个模糊集成为(q,∈∨q)-fuzzy滤子的条件。     

G(o)del逻辑系统中模糊逻辑方程τ(X→p)=α的解的性质

以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念.并在G(o)del逻辑系统中就形如τ(X→p)=α的模糊逻辑方程展开了讨论.我们得到了如下结论:模糊逻辑方程τ(X→p)=α有m-同型解当且仅当α∈{i/(m+2)!+1/2|i=0,1,2…,(m+2!/2)}.     

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

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

有限Boole语义中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在有限Boole语义中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

R0-代数（NM-代数）的区间值模糊子代数

将区间值模糊集的概念应用于R0-代数,引入区间值模糊R0-子代数的概念并研究它的性质。给出了区间值模糊集成为区间值模糊R0-子代数的一个充要条件;讨论了区间值模糊R0-子代数和R0-子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊R0-子代数的象和原象成为区间值模糊R0-子代数的条件。