系统Ln中公式相对于有限理论的Γ-绝对真度理论

许格妮 已出版文章查询
许格妮
本平台内已出版文章查询
1 关晓红 已出版文章查询
关晓红
本平台内已出版文章查询
2

+ 作者地址

1西安财经学院,统计学院,陕西,西安,710061

2河南师范大学,数学与信息科学学院,河南,新乡,453007


0
  • 摘要
  • 参考文献
  • 相关文章
  • 统计
将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lulcasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.

[1] Rosser J B;Turquetle A R.Many-valued logics[M].Amsterdam:North-Holland Publishing Company,1951

[2] 王国俊,傅丽,宋建社.二值命题逻辑中命题的真度理论[J].中国科学A辑,2001(11):998-1008.

[3] 李骏,李建生,周艳.n值Lukasiewicz命题逻辑系统中公式的绝对真度理论[J].兰州理工大学学报,2008(01):134-138.

[4] 王国俊,李璧镜.(L)ukasiweicz n值命题逻辑中公式的真度理论和极限定理[J].中国科学E辑,2005(06):561-569.

[5] 王昭海,吴洪博.系统L中公式相对于有限理论的∑Γ-真度理论[J].山东大学学报(理学版),2008(02):35-39.

[6] 李骏,黎锁平,夏亚峰.LukasieWicz n值命题逻辑中命题的真度理论[J].数学学报,2004(04):769-780.

[7] 王国俊.数理逻辑引论与归结原理[M].北京:科学出版社,2006

[8] 王国俊.非经典数理逻辑与近似推理[M].北京:科学出版社,2003

[9] 王国俊 .修正的Kleen系统中的∑-(α-重言式)理论[J].中国科学E辑,1998,28(02):149-152.

[10] WU H B .The theory of generalized tautologies in the revised kleen system[J].Science in China(Series E),2001,44(03):233-238.

[11] Ying Ming-sheng .A logic for approximate reasoning[J].Symbolic Logic,1994,59:830-837.


语种: 中文   

关键词Γ-绝对真度 Γ-绝对相似度 伪距离 近似推理


期刊热词
  • + 更多
  • 字体大小