Heyting系统及其H-空间化表示形式

• 作者: 吴洪博 石慧君
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 拓扑系统 Heyting系统 H-连续映射 H-空间化 范畴
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 995-999
• 分类号: O153.1|O189.1
• 字数: 5584字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2012.05.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	石慧君	陕西师范大学数学与信息科学学院	1	17	1.0	1.0