QUantale中的闭滤子

在Quantale中讨论了与Gabriel拓扑密切关联的闭滤子,给出了闭滤子与闭映射之间的相互确定关系．证明了凝聚左侧Quantale Q的闭滤子全体F(Q)在包含序下构成Frame,并且Q的紧闭滤子全体Fc(Q)是F(Q)的子Frame．最后,证明了凝聚双侧交换Quantale的紧闭滤子全体在包含序下构成Coherent Frame．     

序半群Quantale完备化的进一步结果

本文给出了序半群上幂集Quantale的最大拓扑闭包的具体形式,即序半群的最小Quantale完备化.在此基础上,证明了Quantale范畴Quant是序半群范畴OSGrp*的满的反射子范畴.最后,给出了序半群Quantale完备化的一个应用.     

Girard Quantale中的模糊关联滤子

在Girard Quantale中引入了模糊滤子和模糊关联滤子的概念,研究了Girard Quantale中模糊滤子和模糊关联滤子的一些性质,给出了Girard Quantale中模糊关联滤子的若干等价刻画,探讨了模糊关联滤子与模糊布尔滤子之间的关系.     

Projective Quantales: A General View

Following B. Banaschewski’s work on so-called K-flat projective frames, we treat their non-commutative generalization, i.e. K-flat projective quantales. Besides a categorical definition of a K-flat projective quantale we also give an elementary characterization in terms of a binary relation on the quantale, and we prove that K-flat projective quantales are precisely the coalgebras for a certain comonad on the category of quantales. Finally we define and study a natural notion of K-coherentness for quantales. Financial Support of the Ministry of Education of the Czech Republic under the project MSM0021622409 is gratefully acknowledged.     

Quantale的若干新的性质

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

模糊集Quantale与Quantale的嵌入

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

单纯Quantale及其Quantale商

讨论Quantale上的同余与Quantale商之间的关系,研究单纯Quantale的性质,给出一类Quantale是单纯Quantale的等价刻画。最后从Quantale商的角度对单纯Quantale进行了研究,得到单纯Quantale的若干特征定理。     

Representation Theorems for Quantales

In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. Mathematics Subject Classification: 06D05, 06D10, 06D20, 03G25.     

序半群的Quantale完备化

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