n值 Lukasiewicz 命题逻辑系统中公式的矛盾度理论

摘要：

在 n值L ukasiew icz命题逻辑系统中运用公式的矛盾度概念，讨论了公式矛盾度的部分重要性质，给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则，进而讨论了矛盾度与推理规则之间的关系。

关键词：计量逻辑学、L ukasiew icz命题逻辑、矛盾度、推理规则

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金项目11471007；陕西省自然科学基金项目2014JM1020；延安大学专项科研基金项目YGQ2014－45．

在线出版日期：2015-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-6