在L -拓扑空间中，针对子集的情形给出了一套新的分离公理，研究了它们之间的关系。
In this paper, a new series of separation axioms on L-topological are introduced, their relationship are investigated.
通过对拓扑空间上分离公理之间的讨论得出公理关系链，主要给出了各分离公理不能包含的例子。
Through discussing the separation axiom of topological space, we can get the relation-chain of separation axioms. Then the paper lists some examples which are not included in each separation axiom.
在具有半开集可数交性质的S-L空间中，讨论了几个S-分离性公理之间的关系。
The relations of S-separation axioms in S-L space that has countable intersection property of seim-open set were obtained.
作为本章的最后一部分，我们把层分离性进一步弱化，提出了超分离性公理。
At the end of this chapter, we weaken the layer separations, introduce the ultra-separation axioms.
特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。
Especially, it is discussed how to determine their temporal relations when some intervals are splitted in calculus.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。
And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.
应用推荐