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......