(L)ukasiewicz命题逻辑中公式的Γ-真度理论和极限定理

摘要：

对“(L)ukasiewicz n值命题逻辑中公式的真度理论和极限定理”进行了再研究.(1)在(L)ukasiewiczn值命题逻辑中,给出了真度的赋值表示形式,该形式从赋值角度直接反映了公式的真度表示公式为重言式的隶属度的实质;(2)在(L)ukasiewicz n值命题逻辑中,利用真度的赋值表示形式提出了公式关于局部有限理论Γ的Γ-真度概念,给出了公式的Γ-真度的几种等价形式及性质;(3)得到了(L)ukasiewiczn值命题逻辑中关于Γ-真度理论的极限定理;(4)给出了(L)ukasiewicz连续值命题逻辑中公式的Γ-真度定义的合理形式,以及(L)ukasiewicz命题逻辑中真度的对称性定理;(5)在(L)ukasiewicz n值命题逻辑中,利用极限方法和Γ-真度的赋值形式对公式关于无限理论Γ的Γ-真度问题进行了讨论.

关键词：(L)ukasiewicz命题逻辑、真度、赋值、局部有限理论、Γ-真度、极限定理、无限理论

所属期刊栏目：44

分类号：O141.1;O231;TP301.6

资助基金：国家自然科学基金11171196

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

页码：1542-1559