逻辑系统Hα中广义语义MP规则证明的改进

doi:10.3778/j.issn.1002-8331.2010.22.018

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (22): 52-53.DOI: 10.3778/j.issn.1002-8331.2010.22.018

逻辑系统H_α中广义语义MP规则证明的改进

于鸿丽¹，吴洪博²

1.西安文理学院数学系，西安 710065
2.陕西师范大学数学与信息科学学院，西安 710062

收稿日期:2008-12-30 修回日期:2009-02-27 出版日期:2010-08-01 发布日期:2010-08-01
通讯作者: 于鸿丽

Improvement in proving generalized semantic MP rule of H_α logic system

YU Hong-li¹，WU Hong-bo²

1.Department of Mathematics，Xi’an University of Arts and Science，Xi’an 710065，China
2.College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China

Received:2008-12-30 Revised:2009-02-27 Online:2010-08-01 Published:2010-08-01
Contact: YU Hong-li

摘要/Abstract

摘要： 将修正的Kleene逻辑系统中语义MP规则推广后应用于H_α逻辑系统中，讨论了H_α逻辑系统中广义重言式理论的语义（[α]-MP）规则，语义（[α⁺]-MP）规则，使得对H_α系统中的广义语义MP规则有了更进一步的认识。另外，逻辑系统W中的广义语义MP规则也成为一个特例。

中图分类号:

O141.1

于鸿丽¹，吴洪博². 逻辑系统H_α中广义语义MP规则证明的改进[J]. 计算机工程与应用, 2010, 46(22): 52-53.

YU Hong-li¹，WU Hong-bo². Improvement in proving generalized semantic MP rule of H_α logic system[J]. Computer Engineering and Applications, 2010, 46(22): 52-53.

[1]	韩诚. Vague集的相似度理论[J]. 计算机工程与应用, 2010, 46(36): 56-60.
[2]	许格妮. 系统L在非均匀概率空间下命题的真度理论[J]. 计算机工程与应用, 2010, 46(36): 53-55.
[3]	秦学成，刘春辉. Fuzzy蕴涵代数的区间值fuzzy滤子[J]. 计算机工程与应用, 2010, 46(31): 39-42.
[4]	于西昌¹，陈怀进²，谭桂梅³. 公式概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(27): 57-61.
[5]	高香妮，折延宏，王国俊. 逻辑系统G_n中理论的真度概念及其应用[J]. 计算机工程与应用, 2010, 46(24): 30-33.
[6]	谭桂梅¹，于西昌². Gödel命题逻辑中公式概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(20): 46-49.
[7]	张琼，吴洪博. BL*系统的一种扩张及相关性质[J]. 计算机工程与应用, 2010, 46(19): 36-38.
[8]	牛广化¹，于西昌². 命题逻辑中条件概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(17): 33-38.
[9]	谭桂梅¹，于西昌². 连续值命题逻辑中公式的条件相对重言度理论[J]. 计算机工程与应用, 2010, 46(16): 55-59.
[10]	屠桂晶，张兴芳，李成允，李友雨. 三值乘积逻辑系统Π₃中的随机化研究[J]. 计算机工程与应用, 2010, 46(14): 34-38.
[11]	于西昌¹，谭桂梅² . 二值命题逻辑中的概率真度[J]. 计算机工程与应用, 2010, 46(11): 46-48.
[12]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[13]	关晓红，刘晓. £ukasiewicz三值命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(6): 37-41.
[14]	于西昌¹，谭桂梅²，张兴芳³. 命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(5): 40-43.
[15]	肖云萍，邹庭荣. Z-蕴涵代数的Fuzzy Z-滤子[J]. 计算机工程与应用, 2010, 46(2): 39-40.

逻辑系统H_α中广义语义MP规则证明的改进

Improvement in proving generalized semantic MP rule of H_α logic system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

逻辑系统Hα中广义语义MP规则证明的改进

Improvement in proving generalized semantic MP rule of Hα logic system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

逻辑系统H_α中广义语义MP规则证明的改进

Improvement in proving generalized semantic MP rule of H_α logic system