Lukasiewicz命题逻辑系统中真度的等价定义及相关性质

摘要：

对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.

关键词：计量逻辑学、Lukasiewicz命题逻辑、真度定义、等价形式、推理规则

所属期刊栏目：30

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

资助基金：国家自然科学基金11171196;The National Natural Science Foundation of China11171196

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

页数：共11页

页码：580-590