论文部分内容阅读
StevenVickers将拓扑的方法与逻辑理论的结果相结合于专著《Topologyviatogic》中建立了拓扑系统，并将这一理论应用于计算机理论的研究．本文借助于拓扑系统的思想和方法，以及Frame结构和Heyting代数的共有性质，以Heyting代数为主体建立了一种新型的代数系统-Heyting系统，建立了Heyting系统之间的恰当的联系方法-H-连续映射；给出了Heyting系统的H-空间化表示形式并对相关性质进行了讨论．本文的工作进一步丰富了Heyting代数的研究方法和拓扑系统的研究内容．