广义Smooth格

作为由Weng所引入的smooth格和scott紧生成格的推广,引入了广义smooth 格和广义smooth代数格,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是广义smooth格和广义连续格.     

ZC-连续格

对于广义理想子集系统Z,引入ZC-连续格和ZC-代数格的概念,讨论它们的一些性质。特别地,证明当ZC-连续格P中的关系Z满足插入性质时,P可嵌入到方体中。     

半极小集及其应用

在完备格中,引入半极小集概念,得到完备格L是半连续格当且仅当每一个元都有半极小集这一结论,同时给出半极小集的一些刻画性质.在半Scott连续映射的帮助下,给出了保半极小集的一些映射性质,并用这些性质证明了半连续格的子半格、商半格还是半连续格.     

半连续格的半素极小集与序同态扩张

对完备格引入半素极小集的概念,证明完备格L为半连续格当且仅当L中的每个元在L中存在半素极小集,给出半连续格的两个序同态扩张定理.     

广义λ超连续格的关系表示

给出广义λ超连续格的几个刻画。特别地,我们证明了完备格L上的λ-区间拓扑θλ(L)是严格T2的L是广义λ超连续格L上的关系是广义λ正则的。     

Z-半连续格

作为连续格和半连续格的公共推广,引入了广义理想子系统Z、Z-半连续格及强Z-连续格的概念,讨论了它们的基本性质和Z-半连续格的函数空间的结构,给出了强Z-连续格到方体的嵌入,证明了当子系统Z满足一定条件时,Z-半连续格范畴SCLZ是笛卡儿闭的。     

幂半格与半群

给出了半格上的幂半格的概念,讨论了幂半格的相关性质,建立了半格上的幂半格与半群之间的联系。     

半连续格上的半基和局部半基

在完备格上引入了半基和局部半基的概念,给出了半基和局部半基的性质及若干等价刻画,证明了一个完备格是半连续格当且仅当它具有半基也当且仅当它每点有局部半基。在此基础上定义了半连续格的权和特征,探讨了半连续格的权和特征与其上赋予半Scott拓扑和半Lawson拓扑时的拓扑空间的权和特征的关系。解决了文献[8](赵彬,刘妮.连续Domain的特征和浓度,陕西师范大学学报,2002,30(2):1~6)中提出的一个问题。     

格上的幂半格与幂格

研究了格上的幂半格及其性质,建立了格上的幂半格与幂格的关系。     

关于smooth正规子群的进一步性质

在文献[1]、[4]中Demirci给出了Smooth群理论,开创了模糊群研究的新方向,文献[5]给出了Smooth正规子群和Smooth商群的定义,本文在此基础上进一步讨论了与Smooth正规子群相关的一些性质.     

The Cartesian Closedness of the Category CDL and Function Spaces on Topological CDL''''s

ＴｈｅＣａｒｔｅｓｉａｎＣｌｏｓｅｄｎｅｓｓｏｆｔｈｅＣａｔｅｇｏｒｙＣＤＬａｎｄＦｕｎｃｔｉｏｎＳｐａｃｅｓｏｎＴｏｐｏｌｏｇｉｃａｌＣＤＬ＇ｓＹａｎｇＺｈｏｎｇｑｉａｎｇ（杨忠强）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｈａａｎｘｉＮ...     

广义完全极小集及其应用

定义了广义完全极小集,并证明了L为广义完全分配格与它的每个元都有广义完全极小集等价。在广义完全分配格中,给出了保广义完全极小集映射的几个等价刻画,并且在此基础上得到了广义完全分配格上的两个相应扩张定理。     

Strongly Pseudoalgebraic Lattices

In the recent twenty years,the generalizations of continuous lattices have attracted aconsiderable deal of attention (see [1 -6] ) .The so-called generalized continuous lat-tices(GCL) (see[2 ] ) is one of the most successful generalizations of continuous lat-tices.In 1 990 ,Venugopalan gave the definition of pseudoalgebraic lattice and provedthat a complete lattice is a compact totally order-disconnected(Preistley) space with re-spect to the Lawson topology if and only if it is a pseadoalgeb…     

半连续格和半代数格的映射性质

研究了半连续格及半代数格的一些映射性质,讨论了强连续格的函数空间,给出了强连续格到方体的嵌入定理.     

Generalized Bosbach and Rie?an states based on relative negations in residuated lattices

Bosbach and Rie?an states on residuated lattices both are generalizations of probability measures on Boolean algebras. Recently, two types of generalized Bosbach states on residuated lattices were introduced by Georgescu and Mure?an through replacing the standard MV-algebra in the original definition with arbitrary residuated lattices as codomains. However, several interesting problems there remain still open. The first part of the present paper gives positive answers to these open problems. It is proved that every generalized Bosbach state of type II is of type I and the similarity Cauchy completion of a residuated lattice endowed with an order-preserving generalized Bosbach state of type I is unique up to homomorphisms preserving similarities, where the codomain of the type I state is assumed to be Cauchy-complete. Consequently, many existing results about generalized Bosbach states can be further strengthened. The second part of the paper introduces the notion of relative negation (with respect to a given element, called relative element) in residuated lattices, and then many issues with the canonical negation such as Glivenko property, semi-divisibility, generalized Rie?an state of residuated lattices can be extended to the context of such relative negations. In particular, several necessary and sufficient conditions for the set of all relatively regular elements of a residuated lattice to be special residuated lattices are given, of which one extends the well-known Glivenko theorem, and it is also proved that relatively generalized Rie?an states vanishing at the relative element are uniquely determined by their restrictions on the MV-algebra consisting of all relatively regular elements when the domain of the states is relatively semi-divisible and the codomain is involutive.     

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

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

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

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