摘要Domain理论和Quantale理论具有理论计算机科学和纯粹数学的双重研究背景,它们各自发展,但两者均基于数学中三大基本结构之一的......

摘要随着计算机科学的迅速发展,关于计算机科学的数学基础研究越来越受到人们的重视,已成为数学和计算机科学研究者共同关注的领域......

Quantale作为特殊的序半群,是在1986年由C.J.Mulvey提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量子力学提供新的......

Quantale是由C. J. Mulvey于1986年在研究非交换C*-代数的谱时首先提出的,其目的在于给研究非交换C*-代数提供新的格式刻画,并给量......

Quantale理论产生于上世纪80年代,其目的是为了给量子力学建立新的数学模型.自1990年D.NYetter揭示了Girard的线性逻辑与Quantale......

利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quanta......

引入了模糊Quantale的概念,证明了模糊Quantale范畴同构于L-代数范畴,于是从范畴论的角度说明L-代数也可以看成是Quantale的模糊化......