Quantale上的Ⅰ型结构及其性质

引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的、∨和∧等运算,分别给出了Quantale上的一个非空子集是Ⅰ型结构和弱子结构的充要条件,证明了在预Girard Quantale上Ⅰ型核映射与Ⅰ型理想余核之间是一一对应关系.     

Quantale中的理想与同余

从代数角度研究了右侧幂等Quantale中的理想和理想余核的具体结构,并且证明了右侧幂等Quantale中的理想和理想余核分别是主理想和简单理想余核．同时讨论了Quantale中理想与同余之间的关系．     

幂等Quantale的子Quantale

研究了QuantRle在幂等条件下,代数Quantale与空间式Quantale的关系,得到了Quantale及其子Quantale是空间式的充分条件,并且给出了幂等Quantale的子Quantale具体事例．     

Quantale中的理想

给出了Quantale中(左，右)理想的概念，讨论了Quantale中任意子集生成的(左，右)理想的具体结构，研究了Quantale中的理想与它的格意义下理想之间的关系，得到了当Q是可换Quantale时，Id(Q)中元是幂等的充要条件。     

单纯Quantale

讨论了Quantale满同态的性质,给出了Quantale同余和Quantale商之间的关系,并在幂等左侧Quan-tale中给出了单纯Quantale的特征条件.     

Girard Quantale范畴中的极限

本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质.     

Quantale系统的空间化和Q-Locale化

引入Quantale系统的概念,给出了Quantale系统的连续映射和同胚映射的定义,证明了同胚映射的逆仍为同胚映射.探讨Quantale系统的空间化和Q-Locale化,并在Quantale系统范畴和量子空间范畴之间建立伴随.证明了Quantale系统关于Quantale的Q-Locale是Quantale系统,Quantale系统的Q-Locale化是Q-Locale.建立了Quantale系统范畴和Q-Loc范畴之间的伴随.     

Q-值下集Quantale

该文主要研究Q-值下集Quantale,它可以看作是下集Quantale的一般形式.首先证明了序半群范畴与超凝聚式Quantale范畴是等价的;其次证明了Q-值下集Quantale F_Q（S）本质上就是下集Quantale D（S）和Quantale Q的张量积.     

模糊子Quantale的性质及其扩张

讨论了模糊子Quantale的性质,给出了模糊子Quanatle的等价刻画,对模糊子Quantale进行了扩张.     

Quantale模的余核映射及Quantale上的对偶双重模

讨论了左Quantale模的余核映射及其相应性质,并给出了子Quantale模与Quantale模的余核映射之间的一一对应,最后讨论了Quantale上的对偶双重模及其相关性质.     

Quantale代数核映射及其扩张

应用Quantale和Quantale模理论引入Quantale代数核映射的概念, 给出Quantale代数核映射的若干性质, 并讨论Quantale代数核映射与Quantale代数同余之间的关系, 得到了Quantale代数核映射的扩张定理.     

Quantale的最大左半可换商

通过引入Quantale上左半可换核映射的概念, 用Quantale中的左准对称元给出最大左半可换商的刻画, 证明了左半可换Quantale范畴是Quantale范畴的反射子范畴, 并讨论了局部核映射与左半可换核映射之间的关系.     

嵌入式全关系系统CR-Foxpro的实现

用关系代数作为衡量尺度和工具 ,对最小关系系统Foxpro进行了分析 ,重点阐述了关系代数运算在作者开发的嵌入式全关系系统CR Foxpro中的实现原理     

有限集合上的拟一致结构与拓扑

证明了对每个给定的有限集合x,（Qu（x）,∈）与（r（x）,∈）完备格同构,其中QU（X）是x上的全体拟一致结构,T（x）是X的全体拓扑,∈均为集合意义下的包含序。     

幂等左侧空间式Quantale的特征

讨论了幂等左侧Quantale的若干性质，给出了空间式Quantale的积和子Quantale是空间式Quantale．利用简单幂等左侧Quantale是空间式Quantale的结论，证明了幂等左侧Quantale是空间式Quantale当且仅当它是简单幂等左侧Quantale的乘积的子Quantale。     

i-v Fuzzy集的格序结构

在i-vFuzzy集上引入了顺序和运算,并证明了任一非空集X上的一切i-vFuzzy集的全体F(X)i-v构成一完备的完全分配格,且关于引入的对合运算构成一Fuzzy格.     

坡代数上的模糊软子坡

借助模糊软集的概念, 在坡代数上定义了模糊软子坡, 并对其性质进行研究. 此外, 定义了坡代数上模糊软子坡间的模糊软同态和模糊软同构, 给出了坡代数上模糊软子坡的同构像定理和同态逆像定理, 并证明了坡代数上模糊软子坡范畴是坡代数范畴上的拓扑范畴.