伪对合剩余格(非可换)与伪效应代数(英文)

提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。     

真蕴涵格与优蕴涵格

研究蕴涵格的性质及其结构。借助数学软件给出8阶及以下蕴涵格的完全分类,说明了真蕴涵格与优蕴涵格的存在性,并纠正了多个文献中关于蕴涵格的一些错误结论。同时,引入局部有限蕴涵格和次结合蕴涵格的概念,证明了局部有限蕴涵格是优蕴涵格。     

模糊度量空间的一些结果

指出在Erceg's伪度量公理中(B3)条件对讨论它的诱导拓扑不是本质的.基于这个结果,给出它的两种诱导拓扑的关系.最后,在Erceg's伪度量集合上构造一个非平凡的一一映射.     

z-代数偏序集的范畴特征

讨论z-代数偏序集一些性质,主要证明z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

关于正则余剩余格与对合BCK-格

进一步研究了余剩余格的一些性质,在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径。     

Orlicz-Bochner函数空间中的单调点(英文)

本文主要研究了在赋予Orlicz范数与Luxemburg范数下Orlicz-Bochner函数空间中的一些单调点.     

剩余格及有界psBCK-代数成为布尔代数的充要条件

研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件.同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数.     

用模糊Galois联络对L-模糊粗糙集进行公理化刻画

粗糙集理论是由Pawlak提出的一种表示与处理数据表中信息的形式化工具.作为粗糙集概念的推广,一种基于完备剩余格的L-模糊粗糙集已由Radzikowska与Kerre提出,在本文中,我们第一次借助于L-模糊Galois联络对L-模糊粗糙集进行了公理化刻画.由于L-模糊粗糙集及L-模糊Galois联络均为相应经典情形的推广,故本文的结论对于经典粗糙集来说也是成立的,这就意味着通过Galois联络可将经典粗糙集乃至L-模糊粗糙集的公理化统一起来.     

乘法半群为左正规纯正群的半环

研究了加法半群为半格,乘法半群为左正规纯正群的半环．证明了此类半环（S,＋,．）可以嵌入到半格（S,＋）的自同态半环中．构造S的一个特定的偏序关系,得到了（S,·）上的自然偏序与所构造偏序相等的等价条件．     

层次内P-集合及其性质

P-集合是由内P-集合X~F(internal packet setsX~F)与外P-集合X~F(outerpacket setsX~F)构成的集合对,或者(X~F,X~F)是P-集合.利用P-集合理论,给出内P-集合的扩展模型—层次内P-集合,把内P-集合的依赖关系扩展到层次内P-集合中,并研究层次内P-集合的性质.层次内P-集合是普通内P-集合的扩展,提供了多角度、多层次分析和研究问题的方法.