prequantale相关论文
Scott空间是指完备格带有Scott拓扑的拓扑空间(后来Scott拓扑也定义在dcpo上,更一般地,定义在一般偏序集上).一般情况下,Scott空间是......
为了给更广泛的子结构逻辑提供统一的语义,2013年德国学者Rump利用相互独立的三条公理提出了量子B代数的概念.量子B代数是量子B逻......
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......
本文给出了Prequantale同余的概念,讨论了它与Prequantale商和核映射之间的关系,得到了Prequantale上的全体商、全体核映射和全体......
本文给出了Prequantale同余的概念,讨论了它与Prequantale商和核映射之间的关系,得到了Prequantale上的全体商、全体核映射和全体......
给出了Prequantale态射的定义,证明了Prequantale中的特殊元在Prequantale态射的右伴随下不变的性质.找到了Prequantale中态射与蕴......