位置:成果数据库 > 期刊 > 期刊详情页
计量逻辑中真度的均值表示形式及应用
  • ISSN号:0732-2112
  • 期刊名称:电子学报
  • 时间:2012
  • 页码:1822-1828
  • 分类:O141.1[理学—数学;理学—基础数学]
  • 作者机构:[1]陕西师范大学数学与信息科学学院,陕西西安710062
  • 相关基金:国家自然科学基金(No.11171196); 陕西省教育厅专项科研计划项目(No.11JK0512)
  • 相关项目:Domain与Quantale理论的模糊化研究
中文摘要:

命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式.

英文摘要:

The truth degree of formula is the basic concept in quantitative logic from which other concepts are derived.In the present paper the properties and the computation method of truth degree are investigated more in-depth.Firstly,a form of mean representation of definition of truth degree of formula is given in quantitative logic;secondly,with the help of the form of mean representation,the limit theorem is generalized that is a connection of the theories of truth degrees in n-valued logic system and continuity-valued logic system,and the symmetrical characteristic of truth degree is obtained;thirdly,the computational formulas of truth degrees of the propositions with normal forms is given.

同期刊论文项目
期刊论文 87 会议论文 8
同项目期刊论文