L-模糊滤子相关论文
自1990年D.Yetter给出Girard提出的作为理论计算机科学逻辑支持系统的线性逻辑与Quantale理论之间的密切关系起,Quantale理论的研......
摘要超代数系统理论和模糊类型理论均具有计算机科学与纯粹数学的双重研究背景,其中超代数理论在纯粹数学和应用数学的许多方面都......
利用模糊数学和格论的思想方法,在EQ-代数中引入了L-模糊滤子的概念,得到了L-模糊滤子的一个等价刻画,证明了全体L-模糊滤子之集是......
