Boole算子Fuzzy逻辑中推理的形式结构

在Boole算子Fuzzy逻辑中引入公式的恒真水平和恒假水平的概念,讨论了不确定性推理的形式结构,并推广了开放逻辑中的认识进程理论,给出了一种描述人类在具有不确定性、不一致性和不完全性知识下推理过程的方法。这种方法能够刻划具有不确定性知识的增长和修正以及认识的进化,反映了人类在推理过程中不断修正错误和进行信念的积累,从而得到有用结论的动态特征.     

分配的Fuzzy蕴涵代数

给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质，接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的，从而得到Boole代数的两个等价形式，并且证明了分配的Fuzzy蕴涵代数是BL代数，最后得到了FI代数成为Boole代数的几个充要条件。     

一类Boole方程解集代数系统性质的探讨

给出了一类Boole方程F=G的解集S关于逻辑加、逻辑乘、逻辑非运算可构成Boole代数系统的结论,又给出了Boole代数系统(S,+,·,-)与Boole代数系统(B,+,·,-)同态,进而得到了(S,+,·,-)与(B,+,·,-)同构的性质,并给予逻辑证明,也举例说明了两个代数系统同态、同构应具备的条件,从而更加完善了Boole代数系统理论.     

Fuzzy方阵对于算子α的亚可实现问题

给出Fuzzy方阵对于算子α亚可实现的定义,给出2阶Fuzzy方阵对于算子α亚可实现的条件,并且对于一些特殊的高阶Fuzzy方阵对于算子α是否亚可实现给出判定,讨论对于算子α亚可实现的Fuzzy方阵的性质.     

关于Boole语义的真度不变性定理

基于B-赋值理论，在B为有限Boole代数的前提下，得出了三个主要结论。首先，讨论了广义Boole函数与Boole函数之间的关系。其次，得出了在有限Boole语义理论意义下的真度不变性定理。最后给出了经典逻辑系统关于有限Boole语义的完备性定理。     

Fuzzy传递闭包与Fuzzy分类矩阵的S—K—Q判定定理

本文给出了Fuzzy传递闭包(?)~*的Fuzzy矩形、Fuzzy三角形及Fuzzy分类矩阵R_λ的Boole矩形、Boole三角形的概念,提出了(?)~*、R_λ的S-K-Q判定定理。     

一类一次独立拉丁阵的产生方法

首先提出拉丁阵的相关性概念,然后讨论独立次数≥1的拉丁阵的产生问题,文中给出了产生这种拉丁阵的一种方法,即对独立次数≥1的可逆向量Boole函数进行位移,最后,给出了一个基于真值表的、产生全部一次独立可逆向量Boole函数的方法.     

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

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

R0-代数的Boole可补元与直积分解

在R0-代数中引进了Boole可补元的概念,讨论了Boole可补元的一些基本性质;利用Boole可补元构造了R0-代数的一种直积分解.这些结果在一定程度上反映了R0-代数内部结构的特征,有益于从语义的角度进一步研究格值模糊逻辑系统.     

一个基于模糊随机集的粗糙近似算子的性质及应用

利用贴近度（或相似度）N（B,A）提出了模糊随机近似空间里的一种基于模糊随机集的粗糙近似算子,讨论了该种近似算子的一些主要性质;成功地探讨其在Fuzzy模式识别中的应用;最后给出了具体的例子说明了该算子用于Fuzzy模式识别的可行性。     

Fuzzy聚类Boole矩阵法的计算机实现

本文给出了对满足对称性和反身性的Fuzzy关系直接改造为Fuzzy等价关系的Boole矩阵法的计算机算法,此算法所占机器内存小,运算速度快,并且可用于等价关系的判别和聚类分析。     

拓扑生成的Fuzzy保序算子空间的ω-分解定理及ω-连通性理论

在Fuzzy保序算子空间的基础上,引进了可拓扑生成的Fuzzy保序算子空间的概念,讨论了其若干性质,如分解定理、连通性等.     

Boole代数上的度量结构及其在命题逻辑中的应用

设B是一个Boole代数, Ω是从B到Boole代数{0,1}的全体同态之集,μ是Ω上的概率测度.本文基于μ在B中引入了元素的尺寸概念以及元素对之间的相似度概念,并由此在B上建立了度量结构.作为应用,本文改进了新近提出的命题逻辑中的近似推理理论.     

分配格中同余关系的性质

分两种情况讨论了分配格与有限代数的同余关系格同构的问题,给出判断分配格的充分必要条件,证明了两个结论:有限分配格是Boole格和具有可数个元的分配格的同余关系格是Boole格.     

关于Fuzzy赋范空间的若干问题（Ⅱ）

在1984年,吴从炘、方锦暄和A.K.Katsaras分别提出了两种Fuzzy赋范空间的定义。这些概念既是赋范空间概念的自然推广,又是特殊的Fuzzy拓扑线性空间。在文[3～5]中,不仅考察了这两种定义之间的关系,还讨论了Fuzzy赋范空间的性质以及其上广义Fuzzy线性算子的连续性等。在本文中,我们将继文[4]给出Fuzzy赋范空间中子集有界性、稠密性的刻划条件并利用这些条件给出Fuzzy范数是诱出的充要条件。此外,作为诱出Fuzzy范数的推广,我们给出了两类Fuzzy范数的特征刻划。     

有限Boole语义中基于前提信息的随机真度

本文研究了有限Boole语义中基于前提信息的随机化问题.利用赋值集的随机化方法,提出了公式的基于前提信息Γ的Γ-随机真度,得到了Γ-随机真度的MP规则,HS规则和交推理规则.通过引入公式间的Γ-随机相似度和Γ-伪距离,建立了Γ-随机逻辑度量空间,在有限Boole语义上推广了基于前提信息的近似推理理论.     

关于L—fuzzy拓扑空间的闭包算子与乘积算子的可交换性

本文利用Fuzzy格的代数性质,从L-fuzzy拓扑的层次结,构入手,定义了闭包保层空间,藉助于它给出了满层L-fuzzy拓扑空间的闭包算子与乘积算子可交换的等价条件,并证明了:若乘积L-fuzzy拓扑空间的每个因子空间都是诱导的,则闭包算子与乘积算子是可交换的,从而较好地解决了[2]中所提出的问题。     

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

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

Fuzzy带算子环和Fuzzy带算理想

提出Fuzzy带算子环、Fuzzy带算理想和Fuzzy带算商环的定义,讨论它们的一些初等性质。     

函数论中某些不等式的算子化

本文主要将函数论中著名的Carathéodory不等式、Dieudonne不等式算子化,并且,应用这两个结果,得出另外一些不等式的算子化。