双曲空间H^3(-1)内给定主曲率函数的一类特殊曲面的位置向量场

通过对一类常微分方程组的求解条件的讨论 ,给出了 H3(- 1)内给定主曲率函数的一类特殊曲面的整体存在定理和求出了该类曲面的位置向量场 ,从而对黄宣国提出的一个问题给出了完满的解答 .

3-距离空间中一类压缩映象序列的公共不动点定理

引入 3-距离空间的概念 ,给出

3-值逻辑函数的稳定性

本文提出了3-值逻辑函数稳定性的概念,考察了“稳定”的概率定义,给出了3-值逻辑函数稳定的判别条件,提供了构造稳定的3-值逻辑函数的典型方法,用本文的方法,也可考察一般P-值逻辑函数的稳定性。

三值逻辑系统W_3中的随机化研究

利用赋值集的随机化方法,在三值逻辑W3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DW3-相似度与伪距离的概念,并建立了DW3-逻辑度量空间,证明了此空间没有孤立点。

直觉I-fuzzy拓扑空间中,T_3,T_4分离公理

目的讨论直觉I-fuzzy拓扑空间中的T_3,T_4分离公理以及与T_1,T_2分离公理的关系。方法 L*-格值上Lukasiewicz蕴含算子。结果与结论首先给出直觉I-fuzzy拓扑空间中T_3,T_4分离性的概念,接着得到它们的等价命题,最后讨论了T_3,T_4分离性与T_1,T_2分离性的关系。

三值逻辑系统G_3中的随机化研究

利用赋值集的随机化方法,在三值逻辑G3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DG3-相似度与伪距离的概念,并建立了DG3-逻辑度量空间,证明了此空间没有孤立点。

三值乘积逻辑系统π_3中的随机化研究

利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。

L3^＊系统中逻辑度量空间的拓扑性质

研究了L3*系统中逻辑度量空间的拓扑性质,证明了逻辑度量空间(F(S),ρ3)是不完备、非紧致零维空间,该空间具有一种类似于樊畿性质的所谓"有限等球连通性"。

三值Gdel命题逻辑中基于前提信息的随机真度

利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.

三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画

对三值命题逻辑系统L3^＊中逻辑理论的相容性、全发散性以及逻辑闭性给出了它们在三值逻辑度量空间（F（S）,ρ3）中的拓扑刻画.证明了闭理论Γ相容当且仅当Γ不含内点,当且仅当Γ具有真度遗漏性质,当且仅当Γ不含非空正则球面;证明了理论Γ全发散当且仅当其逻辑闭包在（F（S）,ρ3）中稠密.还证明了有限理论Γ的逻辑闭包是（F（S）,ρ3）中的拓扑闭集.

多值逻辑系统中公式的μ-真度理论

通过在n值和模糊值命题逻辑系统的全体赋值集Ω上定义概率测度μ,定义了任一命题公式A在两种逻辑系统中统一的μ-真度,研究了公式的μ-真度的基本性质及对应的推理规则,定义了两公式间的三种μ-相似度和伪度量,建立了较广泛意义上的逻辑度量空间,指出当概率测度μ为均匀概率测度时为计量逻辑学中的逻辑度量空间,最后提出理论的μ-发散度并得到理论的μ-发散度的计算公式.

经典命题逻辑中公式的D-条件真度及近似推理

基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-Γ逻辑度量空间;推出了D-条件真度的若干性质,证明了D-Γ逻辑度量空间中逻辑运算的连续性;并在DΓ-逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性。

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

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

适用于多种蕴涵算子的赋值空间上的测度与积分理论

对多种蕴涵算子导出的赋值空间进行统一处理 ,引入公用的Lebesgue测度 ,证明了相对于若干常见蕴涵算子而言 ,全体逻辑公式都是可测函数 .建立了t_(α_重言式 )理论 ,提出了一般的语义MP规则和一般的语义HS规则 .基于积分理论引入了逻辑公式的真度概念 ,提出了积分MP规则和积分HS规则 .最后 ,通过通用逻辑度量空间概念在全体公式集上引入了伪距离 ,为近似推理提供了一种可能的框架 .