期刊文献+

n值逻辑系统Ln^*中矛盾度的等价定义及性质 被引量:3

An Equivalent Definition and Some Properties of Controdicition Degreees in N-valued Propositional Logic System Ln^*
下载PDF
导出
摘要 给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理. An intuitionistic equivalent form of the definition of controdicition degrees in n-valued Ro-propositional logic system Ln^* is given,and the proofs of some important properties of controd- icition degreees are simplified through the equivalent form of definiton. Moreover, the symmetri- cal characteristic of controdicition degrees is obtained.
出处 《云南师范大学学报(自然科学版)》 2015年第3期36-40,共5页 Journal of Yunnan Normal University:Natural Sciences Edition
基金 国家自然科学基金资助项目(11471007) 陕西省自然科学基金资助项目(2014JM1020) 陕西省科技计划资助项目(2014ks15-03-07) 陕西省高水平大学建设专项资金资助项目(2012SXTS07)
关键词 计量逻辑学 R0-命题逻辑系统 矛盾度 等价形式 对称性定理 Quantitative logic Ro-proposition logic Controdicition degree Equivalent definition Symmetry theorem
  • 相关文献

参考文献11

二级参考文献83

共引文献357

同被引文献20

引证文献3

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部