MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用

发布时间：2017-05-22 21:18

  本文关键词：MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用，由笔耕文化传播整理发布。

【摘要】：设M是一个MV代数,Ω是从M到标准MV代数[0,1]_(MV)的全体同态之集,μ是Ω上的概率测度.基于μ在M中引入了元素(称之为元素命题)的真度概念以及元素命题间的相似度概念,并由此在M上建立了度量结构,从而在更广泛的框架下建立了度量理论.本文结果是已有的命题逻辑中逻辑公式的真度理论的一般化和代数化,思想也可应用到其他多值逻辑代数中.
【作者单位】： 陕西师范大学数学研究所;西安交通大学基础科学研究中心;
【关键词】： MV代数 Lukasiewicz命题逻辑 真度
【基金】：国家自然科学基金资助项目(10331010,10771129) 陕西师范大学优秀博士学位论文基金资助项目
【分类号】：O141.1
【正文快照】： Mv代数ll]是由chang在1958年为证明Lllk始iewic:命题逻辑的完备性而引入的，至今已有近半个世纪的历史.最初人们只把MV代数看作是与Ltl如昭iewicz命题逻辑相对应的一种语义理论而已，但随着研究的不断深化，人们发现MV代数理论的应用远远超出了多值逻辑的范围，同时也有众多

【相似文献】

中国硕士学位论文全文数据库 前1条

1 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

  本文关键词：MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用，由笔耕文化传播整理发布。

，

本文编号：386920