Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);延安大学研究生创新基金资助项目(YCX201612)


Theory and Property of Γ-k Truth Degree on Axiomatic Extension of Goguen Propositional Logic System
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (11471007); Natural Science Foundation of Shaanxi Province of China (2014JM1020); Graduate Innovation Fund of Yan’an University (YCX201612)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    首先对n值Goguen命题逻辑进行公理化扩张,Goguen~,Δ,记为∏~,Δ.利用公式的诱导函数给出公式在kk任取~或Δ)连接词下相对于局部有限理论Γ的Γ-k真度的定义;讨论了∏~,Δ中Γ-k真度的MP规则、HS规则等相关性质;最后,在Γ-k中定义了两公式间的Γ-k相似度与Γ-k伪距离,得到了公式在k连接词下相对于局部有限理论Γ-k的相似度与Γ-k伪距离所具有的一些良好性质.

    Abstract:

    Axiomatic extensions of n-valued Goguen propositional logic system denoted as ∏~,Δ is first studied in this paper. Using induced function, the definition of Γ-k truth degree of formula relative to local finite theory Γ under the k conjunction is given. The MP rule, HS rule, and some correlation properties are also discussed. Finally, the definition of Γ-k similarity degree and Γ-k pseudo-metric in ∏~,Δ between two formulas is presented, and some good properties about Γ-k similarity degree and Γ-k pseudo-metric relative to local finite theory Γ under the k conjunction are simultaneously obtained.

    参考文献
    相似文献
    引证文献
引用本文

高晓莉,惠小静,朱乃调. Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质.软件学报,2017,28(7):1629-1639

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2016-01-27
  • 最后修改日期:2016-04-27
  • 录用日期:
  • 在线发布日期: 2016-10-19
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号