用收敛类刻划第一可数公理

用收敛类诱导出满足第一可数公理的拓扑空间，并得到一个拓扑空间满足第一可数公理的充要条件。     

一个基础集可数但不满足第一可数性公理的拓扑空间

本文构造了一个实例,表明一拓朴空间(X,J)尽管|X|是可数的,但(X,J)不适合第一可数性公理。     

S-可数性

在拓扑空间中利用S-基和局部S-基,提出第一S-可数性公理和第二S-可数性公理,同时对S-基与局部S-基,第一S-可数性与第二S-可数性之间的关系进行探讨,得出一些新结果.     

S-可数性

在拓扑空间中利用S-基和局部S-基,提出第一S-可数性公理和第二S-可数性公理,同时对S-基与局部S-基,第一S-可数性与第二S-可数性之间的关系进行探讨,得出一些新结果。     

直观模糊性特别拓扑空间中的S- 可数性及S- Lindelof空间

在直观模糊特别拓扑空间中引入 S- 可数性及S- Lindelof空间的概念,一个直观模糊特别半开集族{Aa | a∈I } 是( x ,τ) 的 S- 基, 当且仅当每一个直观模糊特别集均为集族{ Aa | a∈I } 的元的并; 每一满足S- 第二可数性的直观模型特别拓扑空间也满足S- 第一可数性公理;满足S- 第二可数性公理的直观模糊特别拓扑空间是S- Lindelof 空间; S紧空间是 S- Lindelof 空间.     

L—Fuzzy可数性的可加性

在Ｌ－ｆｕｚｚｙ拓扑和空间的基础上，讨论了Ｌ－ｆｕｚｚｙ第一可数性、第二可数性及可分性的可加性。     

德摩根拓扑代数的可数公理,可分性和连通性

本文引入和研究德摩根拓扑代数的可数公理，可分性和连通性，拓宽了原有的结果。     

关于T*拓扑空间的等价性及其性质的研究

在已有文献的基础上讨论了T*拓扑空间,首先讨论了T*与T1 1/2的关系:证明T*?T1 1/2,并举出反例说明其逆不一定成立。接着给出了T*与T1 1/2等价的一个充要条件,即若拓扑空间(X,τ)满足第一可数公理,则X是T*空间当且仅当X是T1 1/2空间。最后进一步讨论了T*拓扑空间的若干性质,即遗传性、拓扑不变性、但不满足有限乘积性。
     

实数集上去倒数拓扑空间的研究

对实数集上的去倒数拓扑空间进行了研究.证明了它是可分空间、Lindelof空间、满足第二可数性公理的空间、连通空间等,并证明它不是局部连通空间、道路连通空间、紧致空间等.     

第二S-可数性与S-Lindelǒf空间

讨论了拓扑空间在满足第二S-可数性公理条件下，S-Lindelǒf空间的一些性质，给出了几个充分条件，得出一些结论．     

由邻域、远域算子定义预拓扑的方法

讨论了用邻域算子、远域算子确定预拓扑的方法,并证明了预拓扑空间X上全体预拓扑T(X),全体邻域算子N(X),全体远域算子R(X),存在|T(X)|=|N(X)|,|T(X)|=|R(X)|.且(N(X),≤)与(T(X),)、(R(X),≤)与(T(X),)是完备格同构.     

Suzumura模糊条件满足程度的研究

在Georgescu定义的模糊选择函数下，将Suzumura提出的显示偏好第一公理FARP，显示偏好第二公理SEARP和基本三元非循环BTA，以及Sugden提出的最小一致性条件MC推广到模糊选择函数中，给出它们的程度描述，并讨论它们之间的关系及它们与弱显示偏好公理程度WAFRP（C），弱一致性公理程度WFCA（C），Fα2（C）及Fβ2^＋（C）之间的关系．     

关于选择公理及其弱形式(Ⅰ)

先介绍ＡＣ独立于ＺＦ，然后研究ＡＤ、ＤＣＫ、ＡＣＫ和ＷＫ之间的关系（ｋ≥ω１）．     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

平均分排序法合理性分析

依 A rrow提出的选举问题的四条公理为准则 ,利用联合尺度条件 ,阐明目前流行的筛选平均分排序法 (即去掉一个最高分和一个最低分后 ,用余下的各分数的算术平均分作为待评人的最后得分 )是一种看似公正 ,实为错误的排序方法     

经典公理系统在模糊命题演算中的不和谐性

本从包含度的角度出发，通过讨论经典公理系统在模糊框架下的不良表现，证明了对任意模糊命题逻辑系统而言，都不能指望保留经典命题逻辑系统中的全部定理，而必须有所放弃。进一步给出了在模糊系统中保留Ｌ１）和Ｌ２）或Ｌ１）和Ｌ３）的充分必要条件以及保留Ｌ２）和Ｌ３）的必要条件。     

模糊公理体系探讨

讨论了Zadeh公理的局限性 ,从哲学的角度阐明了它们之间的辩证关系     

第一类原始递归算术 A_0 甲

本文把文[3]中的规则θ_2~*去掉,从而得到第一类原始逆归算术A~0V_1V_2系统,即系统A_0甲,这里A_0为存在性公理V_1与I_2为唯一性规则(见正文)。     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

弱MV-代数与IMTL代数的关系及IMTL公理系统的简化

证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条.