Girard Quantale范畴中的乘积

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

双Quantale模中的同余及核映射

作者给出了双Quantale模的定义,讨论了双Quantale模的一些相关性质并在此基础上给出了双Quantale模中的同余及核映射的概念,探讨了它们的一些性质,得到了双Quantale模的满同态像同构于某一双Quantale模核映射,证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的完备格是同构的.     

对合Quantale的表示定理

引入了关系对合Quantale的定义，得到了对合Quantale的表示定理，并且在范畴意义下，讨论了对合Quantale范畴与其满子范畴等价．     

多值滤子及其应用

研究了模糊集理论中的一个基本问题：什么是多值滤子？利用模糊幂集固有的模糊偏序,通过给出滤子公理的多值解释,对该问题给出了一个新的回答.此外,作为多值滤子的一个应用,用它刻画了强Ω拓扑.     

Quantale代数余核的若干性质

在K．I．Rosenthal等人工作的基础上,对Quantale的代数余核及其对应的子Quantale的若干性质作了有限的探讨,主要讨论了Quantale代数余核的若干新的性质．同时对代数余核所构成的子Quantales亦作了某些研究．提出了一些新的定义,并总结了Quantale代数余核的相关性质．扩展和深化了已有文献的结论．     

Girard Quantale范畴中的极限

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

L-fuzzy quantale若干性质的研究

首先给出了L-fuzzy quantale的定义,将L-fuzzy frame的一些重要结论推广到L-fuzzy quantale中,并给出了L-fuzzy quantale的一些等价刻画。其次,在Quantale中引入了L-滤子以及L-滤子Quantale的概念,证明了由任意一个L-滤子可以生成一个L-fuzzy quantale,在范畴L-FilQuant与范畴L-FQuant之间可以建立一个诚实函子。最后,引入了L-fuzzy理想、准素理想以及素理想的概念,讨论了它们的一些性质,得到了若干重要结论。     

预Girard quantale及其性质的研究

研究了预Girard quantale的性质以及在预Girard quantale上核映射与余核映射之间的关系，简化了理想余核的定义，讨论了理想余核的一些性质，给出了右侧幂等quantale上所有理想余核的具体刻画．得到了预Girard quantale是Girard quantale的充要条件．证明了任意Quantale都可以嵌入到预Girard quantale中，并且在预Girard quantale上核映射与理想余核是一一对应关系．     

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

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

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。