Quantale相关论文
Quantale是由C. J. Mulvey于1986年提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的数学模型.由于Qu......
Quantale是由C.J.Mulvey在1986年研究非交换的C*-algebra时首先引入的,其目的在于给量子力学提供新的数学模型.由于它在环的理想理......
摘要自从C.J.Mulvey于1986年提出Quantale概念以来,Quantale理论受到了数学家和逻辑学家的关注.在短短的二十几年中,有关Quantale......
自1990年D.Yetter给出Girard提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quantale理论之间的密切关系起,Quantale理论的研......
摘要Quantale概念是由C．J．Mulvey于1986年在研究非交换的G*-代数的谱时首先引入的，其背景是给量子力学提供新的数学模型。对它的研究......
Quantale作为Locale在非交换意义下的推广,是由C. J. Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交......
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先引入的,其背景是给量子力学提供新的数学模型Quantale已被广泛地应用于......
为了给更广泛的子结构逻辑提供统一的语义,2013年德国学者Rump利用相互独立的三条公理提出了量子B代数的概念.量子B代数是量子B逻......
自Mulvey 1984年提出Quantale的概念以来,Quantale理论已受到了数学家和逻辑学家的广泛关注.基于Quantale中的逻辑蕴含算子→和(?)......
Quantale是由Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学......
Quantale是由C. J. Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量......
Quantale概念是由C.J.Mulvey于1986年在研究非交换的C-algebra的谱时引入的，其背景是给量子力学提供新的模型．对它的研究涉及到非交......
引入了Quantale上Ⅰ型结构和弱子结构的概念,讨论了Ⅰ型结构和弱子结构与映射之间的对应关系,利用Quantale上的(×)、∨和∧等运算......
这篇短文旨在解释赋予序结构的模糊集可以视作quantaloid上的强化范畴。这表明在模糊集的研究中，范畴理论是有益的、不可或缺的工具......
利用粗糙集的理论方法,主要对Quantale的上近似进行研究.引入Quantale的上粗子Quantale,上粗理想和上粗拟理想的概念,讨论了它们的......
研究左Q-模余核映射的相关性质,给出左Q-模上一个映射是余核映射的等式刻画；讨论Dual双模,Girard双模与对合左Q模的关系,并分别给出......
The concepts of connectedness and locally connectedness is introduced for right-side idempotent quantales. Some properti......
在Quantale中讨论了与Gabriel拓扑密切关联的闭滤子,给出了闭滤子与闭映射之间的相互确定关系.证明了凝聚左侧Quantale Q的闭滤子......
引入Quantale上双侧核映射的概念,研究双侧核映射的若干性质,证明一个核映射是局部核映射当且仅当它是双侧的、幂等的.......
给出模糊集Quantale的定义,在此基础上对Quantale与它对应的模糊集Quantale二者之间的关系进行比较,得到如果一个Quantale是可换的......
引入了一类广义的L模糊Quantale.即(∈，∈V q)-L模糊Quantale的定义，研究了其性质，利用它对经典子Quantale进行了等价刻画，证明了......
为了进一步讨论Quantale内部结构之间的对应关系,我们首先引入了左(右)蕴含核映射的概念；其次讨论了左(右)蕴含核映射的一些性质,左......
