Quantale上的Localic核与Localic余核映射

 研究了Quantale与单位Quantale Q［e］上的Localic核与Localic余核映射。证明了Quantale Q上的Localic核映射可以惟一地扩张为Q［e］上的Localic核映射,双侧的可换Quantale存在最大的Localic子Quantale。 再将以上结论应用于研究Quantale Q上的最大的Localic余核映射到Q［e］的扩张,给出了Q上的最大的Localic余核映射到Q［e］的扩张的所有形式,并且证明了Q［e］有最大Localic子Quantale当且仅当Q是平凡Quantale。     

弱幂等Quantale范畴与相关范畴的关系

首先引入弱幂等Quantale及Quantale上弱幂等核映射的概念, 给出Quantale的最大弱幂等商的等价刻画; 然后证明弱幂等Quantale范畴是Quantale范畴的反射子范畴, 幂等Quantale范畴是弱幂等Quantale范畴的反射子范畴; 最后得到幂等Quantale范畴是Quantale范畴的反射子范畴.     

可换半环嵌入商半环的一个结构定理

建立了可换半环的可分理想概念，在此基础上得到一个与Ｓ相关的泛代数（Ｄ（Ｓ），＋，．）及相应的商半环Ｑ（Ｓ）＝（Ｄ（Ｓ），＋，．）／θ，使得半环Ｓ到Ｑ（Ｓ）有一个嵌入映射。     

幂等Quantale中的滤子及其性质

研究了幂等左半可换Quantale Q中的滤予以及幂等Quantale上滤子空间的一些性质.在幂等左半可换Quantale的条件下,通过核映射证明了Fil(Q)是2Q的幂等商Quantale,并且∏Fil(Qi)是∏2Qi的幂等商Quantale,最后在幂等Quantale中证明了滤子空间是可分空间.i(ε)I i(ε)I     

Quantale代数核映射及其扩张

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

非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

Quantale模范畴的良幂性及其定向极限

本文首先证明了Quantale模范畴有交且是平衡范畴;其次得到了Quantale模上的核(余核)映射与其在Quantale模范畴中的商(子)对象是一一对应的,从而证明了Quantale模范畴是极端余良幂的和极端良幂的;最后,讨论了Quantale模范畴的定向极限,并给出具体结构.     

Quantale上的伪同余

为了研究Quantale内部结构,我们首先在Quantale上引入了伪同余的概念;讨论了伪同余与同余的关系;最后借助于伪同余,建立了Quantale与序半群之间的联系.     

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

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

Quantale中的L-模糊滤子及其相关性质

基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论.     

基于拟幂等的交换单位Quantale的模糊Domain

基于一个拟幂等的交换单位Quantale,用模糊集的方法重新研究了量化Domain理论,主要定义了模糊DCPO上的模糊Scott拓扑,建立了满层的L-滤子的Scott收敛理论,证明了模糊DCPO范畴的笛卡尔闭性。虽然所得结论和已有文献中的基本一样,但是证明过程却有很大不同。结果表明,拟幂等的交换单位Quantale是用模糊集方法研究量化Domain的最宽泛的格。     

Quantale中的理想

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

Quantale系统的嵌入

利用拓扑系统和Quantale理论,先通过引入Quantale系统的子系统概念,定义Quantale系统之间的嵌入,再借助Quantale的结构,得到了Quantale系统的嵌入定理,并利用该嵌入定理研究Quantale系统空间化的嵌入,证明了一个Quantale系统的所有子系统在定义的偏序下是完备格.     

Girard Quantale范畴中的极限

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

Girard Quantale范畴中的乘积

本文讨论了Girard Quantale范畴的乘积,并且给出了该乘积的结构,同时证明了此范畴中有等化子.     

LF商环的同态

引入了ＬＦ商环的概念,研究了ＬＦ商环同态的性质,得到了一系列同态定理,这些结论类似于经曲的环论结果．     

一个商环的构造

商环是近世代数的一个重要概念,利用陪集关系建立商群,再定义乘法运算得到商环,由此给出了基于环的多个理想的一个商环的构造。     

关于商映射的一个定理的推广

利用指数对应定理,将关于商映射的一个定理推广到上诱导拓扑的情形,并给出其在代数拓扑学中的若干应用.     

商空间的基

通过引入一个熟知的线性空间作桥梁，揭示了商空闻R^n／S基与矩阵A之间的关系。