您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 形式系统L~*中极大相容逻辑理论的拓扑刻画

  2. 进一步研究了形式系统L*中极大相容理论的Stone拓扑性质,给出了开、闭集的结构刻画;在全体极大相容理论之集上引入了一种三值拓扑,证明该拓扑空间是零维的、覆盖式紧的和Hausdorff的;最后讨论了上述三值拓扑与Stone拓扑间的联系.为建立基于形式系统L*的知识推理理论奠定基础.
  3. 所属分类:其它

    • 发布日期:2021-02-24
    • 文件大小:340992
    • 提供者:weixin_38663113