prequantale相关论文
Scott空间是指完备格带有Scott拓扑的拓扑空间(后来Scott拓扑也定义在dcpo上,更一般地,定义在一般偏序集上).一般情况下,Scott空间是......
为了给更广泛的子结构逻辑提供统一的语义,2013年德国学者Rump利用相互独立的三条公理提出了量子B代数的概念.量子B代数是量子B逻......
自1986年数学家C.J.Mulvey正式提出Quantale一词以来,Quantale理论一直成为数学家和逻辑学家的研究热点.在短短的十几年中有关Quan......
Prequantale quotient is defined in terms of prequantic nucleus, some equivalent propositions of which is obtained. Also,......
In this paper, a Frame nucleus and prime elements in a Prequantale are defined.The concrete structure of a Frame prequan......
讨论Quantale的若干性质,给出Prequantale构成Quantale的两个充要条件,论证在严格双侧Quantale上逆序对合对应的惟一性并给出了Quant......
本文给出了Prequantale同余的概念,讨论了它与Prequantale商和核映射之间的关系,得到了Prequantale上的全体商、全体核映射和全体......
本文给出了Prequantale同余的概念,讨论了它与Prequantale商和核映射之间的关系,得到了Prequantale上的全体商、全体核映射和全体......
In this paper, a Frame nucleus and prime elements in a Prequantale are defined. The concrete structure of a Frame prequa......
Prequantale 商以 prequantic 原子核被定义,哪个被获得的一些相等的提议。另外, prequantale 商被证明在 PQuant 与商目标与一致直......
给出了Prequantale态射的定义,证明了Prequantale中的特殊元在Prequantale态射的右伴随下不变的性质.找到了Prequantale中态射与蕴......