形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。     

关于Negoita—Ralescu表现定理的改进与扩充一文的注记

研究了Ｌ模糊幂集Ｌ（Ｕ）分别与四种Ｌ晕集集合Ｌ（Ｕ）（ｉ＝１，２，３，４）之间的一一一对应关系，给出了ｉ＝３，４，情况的新的证明，改进了已有的证明。     

关于Negoitǎ-Ralescu表现定理的改进与扩充一文的注记

研究了Ｌ模糊幂集ＬＬ（Ｕ）分别与四种Ｌ晕集集合ＬｉＬ（Ｕ）（ｉ＝１，２，３，４）之间的一一对应关系．给出了ｉ＝３，４情况的新的证明．改进了已有的证明．     

连续值逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L^*G-R，并在此基础上研究了模糊逻辑系统中的代换定理，为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础．     

关于frame SOLS存在性的进一步结果

已经证明对ｕ≥２，ＦＳＯＬＳ（３￣ｎｕ￣１）存在的充分必要条件是ｎ≥４且ｎ≥１＋２ｕ／３，除去可能的例外ｎ∈｛６，１０，１４，１５，１８，１９，２２，３０，３４，３８，４２，４６，５４，５８，６２，６６，７０，９４｝．本文证明除７２对（ｎ，ｕ）值外，ＦＳＯＬＳ（３￣ｎｕ￣１）存在的充分必要条件是ｎ≥４且ｎ≥１＋２ｕ／３．     

有限扰动模糊命题逻辑系统的∑-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性，提出了扰动模糊命题逻辑的概念．用二维扰动模糊命题逻辑最大子代数I^2R的有限子集I^2Rn取代最I^2R，并在其中引入∑-广义矛盾式理论．结果表明：任意公式至多经过2n-μ＋δ次就可降级为矛昏式；证明了矛盾式表示定理，表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式．为模糊信息处理的方法和应用提供了新的理论基础．     

Fuzzy循环矩阵半群的L—等价类

文［１］讨论了ｎ阶Ｆｕｚｚｙ循环矩阵集合Ｃ（Ｍ），建立了Ｃ（Ｍ）中元素Ａ为幂等矩阵的充要条件，本文是文［１］的继续，主要讨论如下问题，１），建立一类Ｆｕｚｚｙ循环矩阵方程有解的必要条件；２），在么半群Ｃ（Ｍ）中引入ＧｒｅｅｎＬ——等价关系，给出Ｃ（Ｍ）中元素Ａ，Ｂ为Ｌ——等价的充要条件；３），证明含幂等矩阵Ｅ＿ｉ的Ｌ—等价类Ｌ（Ｅ＿ｉ）是Ｃ（Ｍ）的极大子群，从而（结合文［１］）解决了在Ｃ（Ｍ）中寻求一切极大子群的问题。最后还讨论了集合Ｐ＝｛Ｌ（Ｅ＿ｉ）｜Ｅ＿ｉ∈Ｃ（Ｍ）为幂等矩阵｝的一些重要性质。     

命题逻辑系统Ln中公式相对于有限理论的∑г-模糊真度理论

将模糊命题逻辑系统中的∑-（α-重言式）理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑г-模糊真度理论，讨论了其中的主要性质。特别地证明了真度关系：τг（A）＋τг（A—B）≤1＋τг（B），并利用这一关系在模糊命题演算系统Ln中的公式集F（S）上引入相对于有限理论的Г-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。     

有限扰动模糊命题逻辑系统的Σ-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.     

初等模糊一阶逻辑的准形式演绎系统

本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。     

直觉I-fuzzy拓扑空间中,T3,T4分离公理

目的讨论直觉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分离性的关系。     

基于Vague关系数据模型的数据依赖

基于提出的Vague关系数据模型和Vague集之间的相似度量,研究了Vague关系数据库中的数据依赖问题,给出了Vague函数依赖(VFDs)和Vague多值依赖(VMVDs)的定义及其相应的推理规则.该规则类似于经典关系数据库中函数依赖和多值依赖的Armstrong公理系统,称之为Vague公理系统.并对Vague公理系统的有效性和完备性进行了证明.同时还给出了VFDs满意度的概念及计算VFDs满意度的公式.     

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

和谐性质及其应用Ⅰ

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论。此文证明了主要是对Lw_1w(Q)中的模型存在定理及推演完全性定理。     

推理闭包空间的分离性

目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。     

不分明化拓扑中的S-分离公理

文 [2 ]中将一般拓扑学中的分离性公理引入到不分明化拓扑空间中去 ,[3 ]给出了不分明化拓扑中半开集概念 .本文在不分明化拓扑空间中 ,利用半开集、半邻域和半闭包等概念导入了 S0 - ,S1 - ,S2 - ,S3- ,S4- 分离公理 ,并且给出这五个分离公理的等价命题 .     

有理数概率下的效用表示定理

Von Neum ann- Morgenstern的期望效用理论假设对所有的抽奖 (c1 ,p;c2 ,1- p) (以概率 p抽得结果 c1 ,以概率 1- p抽得结果 c2 )的偏好序在所有实数 p(0≤ p≤ 1)均有意义 ;而且期望效用理论基于一组公理 ,从而保证效用函数的存在性和正线性变换意义下的唯一性。然而 ,当概率为无理数时 ,对于抽奖就难以给出直观的解释 ,J.C.Shepherdson首先研究了基于有理数概率度量的效用理论。作者提出一组有理数概率下效用函数存在的公理 ,并证明该公理体系下的效用表示定理。     

F-拓扑空间的分离公理

[1]中引入模糊拓扑空间的概念后,有关讨论已有很多,我们仿照,将中的概念与中的一般拓扑空间的有关概念对比,来讨论模糊拓扑空间的分离性,并提出一些概念和分离性的等价命题。另外利用远域和开邻域相结合定义模糊拓扑空间的另一种类型分离性。     

Goldbach猜想等与PA的一些联系——对一些数论问题的逻辑讨论(Ⅱ)

用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价).     

L-Fuzzy拓扑空间中的T21/3分离性

在LF拓扑空间中定义T_(2~(1/3)),ST_(2~(1/3))和层T_(2~(1/3))分离性,讨论与其他分离性的关系,论证了它们是L-好的推广,并研究了它们的一些性质.