| n值Lukasiewicz命题逻辑系统中公式的矛盾度理论 |
| |
| 引用本文： | 李顺琴 、惠小静. n值Lukasiewicz命题逻辑系统中公式的矛盾度理论[J]. 西南师范大学学报(自然科学版), 2015, 40(8) |
| |
| 作者姓名： | 李顺琴 、惠小静 |
| |
| 作者单位： | 延安大学数学与计算机科学学院,陕西延安,716000 |
| |
| 基金项目： | 国家自然科学基金项目(11471007)；陕西省自然科学基金项目(2014JM1020)；延安大学专项科研基金项目(YGQ2014-45)． |
| |
| 摘 要： | 在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.
|
| 关 键 词： | 计量逻辑学； L ukasiew icz命题逻辑； 矛盾度； 推理规则 |
On Theory of Controdicition Degree in n-Valued Lukasiewicz Proposition Logic System |
| |
| LI Shun-Qin,HUI Xiao-Jing. On Theory of Controdicition Degree in n-Valued Lukasiewicz Proposition Logic System[J]. Journal of southwest china normal university(natural science edition), 2015, 40(8) |
| |
| Authors: | LI Shun-Qin HUI Xiao-Jing |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《西南师范大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西南师范大学学报(自然科学版)》下载全文 |
