Heyting系统相关论文
Steven Vikers将拓扑的方法与逻辑理论的结果相结合于专著...
本学位论文研宄的主要内容是可数连续格的序同态和与之相对应的两个扩张定理、可数定向极小集及其对偶可数余定向极大集的若干性质......
StevenVickers将拓扑的方法与逻辑理论的结果相结合于专著《Topologyviatogic》中建立了拓扑系统,并将这一理论应用于计算机理论的......
借助于拓扑系统的思想和方法,对Heyting系统的H-空间化进行了再研究。引入Heyting系统的H-同胚的概念,证明了H-同胚的逆和复合还是......