模糊集Quantale与Quantale的嵌入

给出模糊集Quantale的定义,在此基础上对Quantale与它对应的模糊集Quantale二者之间的关系进行比较,得到如果一个Quantale是可换的、单位的,则它的模糊集Quantale也是可换的、单位的结论。然后给出Quantale的一种嵌入方式。     

广义L模糊Quantale

引入了一类广义的L模糊Quantale,即(∈,∈∨q)-L模糊Quantale的定义,研究了其性质,利用它对经典子Quantale进行了等价刻画,证明了它的其中一种特殊情形就是L模糊Quantale。     

幂等余 Quantale

讨论了幂等余Quantale与左纯元、子余Quantale的一些相关性质,发现幂等余Quantale的左纯元构成的集合是对应的子余Quantale;每个幂等余Quantale都可有一个核映射与子余Quantale保持对应关系;并且幂等余Quantale与核映射,左右纯元,Frame等都有一定关系.     

对偶Quantale上的Par运算及其性质

在对偶Quantale上定义了Par运算凵,并研究了其性质.给出了单位Quantale是对偶Quantale的充要条件,在此基础上得出对偶Quantale的等价刻画.证明了在一定条件下对偶Quantale的子Quantale亦是对偶Quantale.     

余Quantale及其性质

讨论余Quantale的一些性质,引入预余Quantale的概念并给出预余Quantale成为余Quantale的充要条件,构造了一些子余Quantale结构。     

幂等左侧余Quantale的特征

更好地讨论Quantale这一崭新数学分支的各种性质;给出幂等余Quantale及幂等左侧余Quantale的定义;幂等左侧余Quantale既是子余Quantale又是商余Quantale;且其补集是简单余Quantale;幂等余Quantale具有和其他Quantale类似的一些性质,并且与简单余Quantale也...     

对合Quantale同余关系

给出对合Quantale同余的概念,得到了对合Quantale同余的一些性质,讨论了对合Quantale同余与同态之间的关系,最后给出了对合Quantale乘积上的同余关系的结构。     

Quantale的若干新的性质

讨论Quantale的若干性质，给出Prequantale构成Quantale的两个充要条件，论证在严格双侧Quantale上逆序对合对应的惟一性并给出了Quantale是分配格的一个条件。     

对合Quantale范畴的极限

构造出了对合Quantale范畴的极限结构，得到对合Quantale范畴是连通的、点化的、完备的范畴，并给出了若干特殊的极限结构。     

Quantale上的理想余核

讨论Quantale理想与Quantale上映射之间的关系,同时给出Quantale上一个映射是理想余核的等价条件。     

Quantale中理想的扩张

讨论理想Quantale的性质,给出了当Q是可换Quantale时,Q中理想都是半素理想的一个条件.引入了理想的扩张的概念,证明了与序半群中的一些经典结论相一致的命题.通过理想的扩张构造了一个Quantale上的同余,得到了当原理想是素理想时,这个同余所确定的Quantale商是Frame且找到了它的具体结构.     

The quantic conuclei on quantales

In this paper, the main purpose is to investigate some properties of quantic conuclei. Firstly, the concept of an ideal conucleus is introduced and a characterization for a map to be an ideal conucleus is given. Secondly, the relations between quantic nuclei and quantic conuclei are studied on Girard quantale, based on which, the extensions of quantic conuclei (nuclei) to a Girard quantale and the relations between those extensions are discussed. Finally, the concrete structure of quantale without non-trivial quantic conuclei is given and it is proved that the number of subquantales of an infinite quantale is infinite.     

Remark on the Unital Quantale Q[e]

In this paper, we investigate some properties of the unital quantale Q[e], in terms of the quantic quotients of Q[e] we study the extensions of quantic nuclei of Q to Q[e] and prove that for any non-trivial quantale Q\textbf{Q}, Q[e] is not simple. Also, we give some applications for the unital quantale Q[e].     

Quantale上的双侧核映射

引入Quantale上双侧核映射的概念,研究双侧核映射的若干性质,证明一个核映射是局部核映射当且仅当它是双侧的、幂等的.     

Quantales的代数余核和子Quantales

在研究代数余核的一些性质的基础上，得到了Quantales的映射构成代数余核的条件；同时证明了由wellinside关系生成的某种集是子Quantale．     

Quantic格范畴

系统研究了Quantic格范畴。证明了Quantic格范畴有等子、余等子。给出了Quantic格范畴中的极限和逆极限结构,从而说明了Quantic格范畴是完备范畴。     

Quantum spaces

In this paper, a more general concept of quantum space is given by modifying the original concept defined by Borceux and Bossche. We show that a quantum space is a topological analogue of a quantale defined by Mulvey, and also a non-commutative generalization of the Zariski spectrum of a commutative ring. But quantum spaces are not good enough to have much of the properties of topological spaces, such as product spaces and quotient spaces.     

Generalized logic and the representation of rings

Following the progression towards weaker logics, a number of authors have considered the notion of a sheaf over a quantale or, equivalently, a quantale valued set. In this paper, we use ideas from enriched category theory to motivate the definition of a quantic sheaf. Given a localic subquantale of Q, a quantic sheaf over Q gives a sheaf in the usual sense. As an application, we derive a series of sheaf representations for commutative rings including the familiar Pierce representation.     

序半群的Quantale完备化

首先定义了集合上的闭包算子,研究了闭包算子的若干性质;其次给出了序半群的Quantale完备化,证明了序半群的Quantale完备化在同构意义下完全由序半群上的拓扑闭包决定;最后给出了序半群Quantale完备化的一个应用.