Boole代数的等价刻画

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

相关优超平衡的一致性公理化

1 996年 ,Peleg B.和 Tijs S.给出 Nash平衡的一种加细——优超策略的一致性公理化。 Aumann R.证明了相关平衡集包含着 Nash平衡集。本文定义了相关优超平衡 ,它是优超策略的一般化。并研究了它的一致性公理化     

熵函数导出方法的研究（Ⅲ）

熵函数是热力学中一个有特殊重要意义的状态函数,关于它的导出方法的讨论一直很活跃,除了传统Ｃａｒｎｏｔ循环导出法外,还可归纳了７种新的导出方法,多变数公理法和统计导出法是其中的２种方法,并以化学热力学的进展,作为对“熵函数导出方法的研究”课题的延迟和结束语。     

关于不分明化拓扑中闭包运算的一点注记

该文指出了应明生一文中的一个错误,并给出了其中定理５．３的上半部分的一个简单证法,从而奠定了不分明化闭包运算的定义的正确性。     

Research on evaluations of several grey relational models adapt to grey relational axioms

Grey relational analysis is an important part of the grey systems theory, and it is the basis of the grey clustering analysis, grey decision-making and grey controlling. To research whether grey relational models satisfy the four grey relational theorems, several kinds of grey relational models are commented. Some problems including the properties of normality, pair symmetry and wholeness are discussed. The phenomenon that the lower value of almost each grey relational model is not equal to zero is proved. The contradiction problems between the properties of wholeness and pair symmetry are verified. Finally, several propositions are constructed to explain the above problems.     

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

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

闭模糊拟阵导出独立集的等价描述

利用闭模糊拟阵可由基本序列和导出拟阵序列唯一确定的方法, 提出并证明一个子集族、 一个数列和由该子集族到该数列的一个满射, 在满足规范性、 继承性、 强单调减和增长性的条件下唯一确定一个闭模糊拟阵, 反之亦然. 该等价描述建立了普通集族与模糊独立集族的联系.     

主持人语

正本期推出5篇论文。其中2篇是基础性研究:李娜教授等的《量化核证逻辑QLP概观》,介绍了QLP的公理系统、模型及其应用。QLP是一种表达力较强的逻辑,填补了核证逻辑在量化部分的空白。QLP公理系统以及对应的模型在表现形式上有些复杂,本身还有许多问题有待研究。喻莉姣博士的《同源的多层次性》,讨论的是科技哲学中的同源问题。从生物学角度看,同源概念可以区分为:分支分类学的同源、系统发育学同源、个体发育学同源以及分子同源。区分同源的不同层次,依据同源现象的多学科解释