基于群范畴的L-fuzzy结构提升范畴及其表示

引入群范畴上L-fuzzy结构提升范畴与格值结构提升范畴概念,L-fuzz结构是在逻辑层面表达群理论多值语义的有点化描述,也是Zermelo-Fr(a)nkel公理集合理论和各种代数形式理论的格值模型的语义赋值,而格值结构是在范畴层面表达群理论多值语义的无点化描述,本文建立了L-fuzzy结构与格值结构这两种不同数学结构之间的联系,证明了在范畴层面上述两种结构是同构的.给出了基于群范畴的L-fuzzy结构的格值结构表示.     

基于群范畴的层结构、格值结构、L-fuzzy结构提升范畴及其关系

引入群范畴上格值结构、层结构、L-fuzzy结构提升范畴概念,格值结构是在范畴层面表达群理论多值语义的无点化描述;层结构是把群上局部信息合理粘连成整体信息的数学结构;而L-fuzz结构是在逻辑层面表达群理论多值语义的有点化描述,也是Zermelo—Fr¨ankel公理集合理论和各种代数形式理论的格值模型的语义赋值,建立格值结构、层结构、L-fuzzy结构这三种不同数学结构之间的联系,证明在范畴层面上述三种结构是同构的。     

模糊集层次结构的本质刻画

将Zadeh提出的模糊集的模糊结构提升到格值结构,引入赋予格值结构的集合概念,称之为格值集合,并给出了格值集合的表示定理.在此基础上,证明格值集合范畴可以嵌入到集合的层范畴,说明格值结构具有层结构这一特征,从而揭示格值集合具有层次结构,这一结果也刻画了Zadeh模糊集的层次结构的本质特征.     

基于层范畴的Ω-集合范畴的极限

基于层范畴引入Ω-集合范畴的概念,研究了Ω-集合范畴的乘积以及等值子的存在性,进而证明了在Ω-集合范畴中存在极限,并且Ω-集合范畴是完备的.     

基于格半群的有限状态自动机的同态

本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.     

逆序(L)集合范畴的格值函数空间及其性质

引入逆序(L)集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间,进一步指出在逆序(L)集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序(L)集合范畴为Cartesian闭范畴.     

L-fuzzifying拓扑空间范畴和可延L-fuzzy拓扑空间范畴的Galois联络

在完全分配格的格值环境下,提供了L-fuzzifying拓扑结构和可延L-fuzzy拓扑结构相互转化的方法。还进一步研究了L-fuzzifying拓扑空间范畴和可延L-fuzzy拓扑空间范畴之间的关系。文中结果表明,L-fuzzifying拓扑空间范畴和可延L-fuzzy拓扑空间范畴之间存在Galois联络。     

完备布尔代数商格的注

本文研究了完备布尔代数L的商格Q(L),建立 L上q-集构成的集合Q′(L)与Q(L)之间的同构,得出了完备布尔代数的商格仍是完备布尔代数,并给出了完备布尔代数范畴的某些性质.     

L-Fuzzy拟序集的理想完备化

建立[4]中定义的L-fuzzy拟序集的一种理想完备化,即证明了L-fuzzy拟序集上的所有L-fuzzy理想组成的集合,赋以合适的程度映射构成L-fuzzydomain,任意从L-fuzzy拟序集到L-fuzzydomain的L-fuzzy单调映射都可以扩张成为一个L-fuzzyScott连续映射。     

一类局部定向完备集及其范畴的性质

本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系，从而进一步给出了一种新的连续性概念，接着讨论了局部定向完备集，连续的局部定向完备集等对象的一些性质，最后考察了三种范畴的笛卡儿闭性，并证明了范畴LDCPO是范畴ALG的反射满子范畴．     

L-模糊拓扑上的内部算子

根据L-模糊拓扑自身的特点,在L-模糊拓扑空间中引入了内部度的定义,详细讨论了它的性质,提出了L-模糊拓扑上的内部算子的概念,论证了L-TFIN(拓扑的L-模糊内部空间和其上的连续映射构成的范畴)同构于L-FTOP(L-模糊拓扑空间和其上的连续映射构成的范畴).     

Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach

The formal content of near set theory can be summarised in terms of three concepts: a perceptual system, a nearness relation and a near set. Perceptual systems and different forms of nearness relations have been already successfully related to important mathematical structures (e.g., approach spaces) and described in the frameworks of general topology and category theory. However, since near sets actually do not form any regular structure, there is lack of similar results about the concept of a near set. The main goal of this paper is to fill this gap and provide a mathematical basis for near sets on a similar abstract level as it has been already done for nearness relations. However, we take in the paper a down-to-earth approach; that is, instead of seeking the richest mathematical structures which express our intuitions (call it up-to-sky approach), we present in the paper the simplest category theoretic structures which, however, are rich enough to convey our ideas. Thus, although many times we actually deal with sheaves, we speak about them as pre-sheaves. The main reason is that a sheaf (in contrast to a pre-sheaf) embodies the idea of gluing (in the very similar way like manifolds, which are obtainable by gluing open subsets of Euclidean space), which is irrelevant to the study of near sets and rough sets. Furthermore, the concept a pre-sheaf is much simpler than a sheaf and should be easily “digested” by readers who are not very familiar with category theory.     

Lattice-valued fuzzy interior operators

A category of lattice-valued fuzzy interior operator spaces is defined and studied. Axioms are given in order for this category to be isomorphic to the category whose objects consist of all the stratified, lattice-valued, pretopological convergence spaces.     

半环的L-模糊理想的范畴性质

首先给出了半环的L-模糊理想同态的定义,在此基础上较系统地讨论了半环的L-模糊理想范畴的性质,证明了此范畴是半环范畴上的一个拓扑结构,并探讨了其中的等子、拉回和乘积等性质.另一方面,给出了半环的L-模糊理想范畴的逆系统的定义,建立了半环的L-模糊理想范畴中逆系统的逆极限结构.特别是在引入两个逆系统之间映射的基础上,得到了两个逆系统的逆极限之间的极限映射.     

Similarity of L-fuzzy Relations Based on L-topologies Induced by L-fuzzy Rough Approximation Operators

This paper proposes similarity of L-fuzzy relations based on L-topologies induced by L-fuzzy rough approximation operators. First, the notion L-fuzzy rough set is generalized and the relationship between generalized L-fuzzy rough sets and L-topologies on an arbitrary universe is investigated. It shows that Alexandrov L-topologies can be induced by L-fuzzy relations without any preconditions. Second, the concept of similarity of L-fuzzy relations is introduced and variations of an L-fuzzy relation are investigated. Third, algebraic structures on similarity of L-fuzzy relations are obtained. Finally, we prove that the subset of the transitive L-fuzzy relations similar to a fixed L-fuzzy relation is a complete distributive lattice.     

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

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

L-fuzzy拓扑空间的层浓度

在Ｌ－ｆｕｚｙ拓扑学中引入了层稠密集、层第一纲集、层Ｂａｉｒｅ空间、层浓度、及层可分空间等概念，研究了它们的基本性质，讨论了它们与分明拓扑学中相应概念的关系．     

L-Fuzzy Domain及其相关性质

基于[5]提出的L-fuzzy拟序集，引入L-fuzzy集关于L-fuzzy偏序的并，当L是完全分配格时L-fuzzy拟序集上的L-fuzzy定向集等概念，在此基础上定义L-fuzzy domain，证明它是通常Domain的模糊推广，并得到若干相关性质。     

L-Fuzzy映射的像与逆像的表现

在文 [7]中 ,史福贵借助于 L - fuzzy关系引入了 L - fuzzy集间的 L - fuzzy映射的概念并借助于其水平截集给出了它的一些等价刻画但没有给出一个 L - fuzzy集的像与逆像的表示。本文的目的就是给出一个 L - fuzzy集的像与逆像的各种等价表示并给出了它们在 L - fuzzy代数中的几个简单应用。