维普论文检测系统检测前原文：
系统[29]、半拓扑系统[30]的思想和方法及Frame结构和Heyting代数共有的性质[23,29],结合数理逻辑理论的特点[31],以Heyting代 数为主要内容构造了一种新的代数系统(Heyting系统[32,33]);研究了Heyting系统与拓扑系统的区别和联系;建立了Heyting系统之间正确的联系方式(H-连续映射,H-同胚映射);给出了Heyting系统H-空间化的表示形式并且对与之相关的性质做了很好的讨论;证明了以Heyting系统为研究对象,以H-连续映射为态射
系统[29]、半拓扑系统[30]的思想和方法及Frame结构和Heyting代数共有的性质[23,29],结合数理逻辑理论的特点[31],以Heyting代 数为主要内容构造了一种新的代数系统(Heyting系统[32,33]);研究了Heyting系统与拓扑系统的区别和联系;建立了Heyting系统之间正确的联系方式(H-连续映射,H-同胚映射);给出了Heyting系统H-空间化的表示形式并且对与之相关的性质做了很好的讨论;证明了以Heyting系统为研究对象,以H-连续映射为态射
维普论文检测系统检测后相似论文片段：
方法,以及Frame结构和Heyting代数的共有性质[1.5J,并结合数理逻辑理论的特点一J,以Hey＇dng代数为主体建立了一种新型的代数系统一收稿日期:2011.06-08:修回日期:2011.II.15基金项目:国家自然科学基金(No.11171196)Heyting系统,讨论了拓扑系统与Heyting系统的联系与区别,建立了Heytins系统之间的恰当的联系方法一H-连续映射,H.同胚映射,给出了neyting系统的H.空间化表示形式并对相关性质进行了讨论,证明了以Heyting系统为对象,以及H.连续映射为态射
方法,以及Frame结构和Heyting代数的共有性质[1.5J,并结合数理逻辑理论的特点一J,以Hey＇dng代数为主体建立了一种新型的代数系统一收稿日期:2011.06-08:修回日期:2011.II.15基金项目:国家自然科学基金(No.11171196)Heyting系统,讨论了拓扑系统与Heyting系统的联系与区别,建立了Heytins系统之间的恰当的联系方法一H-连续映射,H.同胚映射,给出了neyting系统的H.空间化表示形式并对相关性质进行了讨论,证明了以Heyting系统为对象,以及H.连续映射为态射
维普论文检测系统文章欢迎转载，转载请以链接形式标明本文地址。
