位置：成果数据库 > 期刊 > 期刊详情页
关于FS—Domain的Plotkin幂—Domain
  • ISSN号：1000-8314
  • 期刊名称：《数学年刊：A辑》
  • 时间：0
  • 分类：O141.1[理学—数学;理学—基础数学] O189.2[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学研究所,西安710062, [2]四川大学数学学院,成都610064
  • 相关基金：国家自然科学基金资助项目(19831040)
作者： 梁基华
关键词： B00le代数, 度量, 命题逻辑
中文摘要：

设B是一个Boole代数，Ω是从B到Boole代数{0，1}的全体同态之集，μ是Ω上的概率测度．本文基于μ在B中引入了元素的尺寸概念以及元素对之间的相似度概念，并由此在B上建立了度量结构．作为应用，本文改进了新近提出的命题逻辑中的近似推理理论．

同期刊论文项目
格上拓扑与非经典数理逻辑
期刊论文 6
同项目期刊论文
关于Lowen空间指数对象的一点注记
拟Z-连续domain和Z-交连续domain
R0代数的Fuzzy MP滤子
Urysohn引理与弧连通完全分配格
映射与逆映射
期刊信息
  • 《数学年刊：A辑》
  • 中国科技核心期刊
  • 主管单位:国家教育部
  • 主办单位:复旦大学
  • 主编：李大潜
  • 地址：上海市长乐路746号
  • 邮编：200040
  • 邮箱：edcam@fudan.edu.cn
  • 电话：021-65642338
  • 国际标准刊号：ISSN：1000-8314
  • 国内统一刊号：ISSN：31-1328/O1
  • 邮发代号:4-298
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:4264