文献类型：期刊文章

作　　者：王国俊[1,2] 周红军[1]

机构地区：[1]陕西师范大学数学研究所,西安710062 [2]西安交通大学基础科学研究中心,西安710049

出　　处：《数学学报（中文版）》

基　　金：国家自然科学基金资助项目(10331010,10771129);陕西师范大学优秀博士学位论文基金资助项目

年　　份：2009

卷　　号：52

期　　号：3

起止页码：501-514

语　　种：中文

收录情况：BDHX、BDHX2008、CSCD、CSCD2011_2012、IC、INSPEC、JST、MR、RCCSE、SCIE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：设M是一个MV代数,Ω是从M到标准MV代数[0,1]_(MV)的全体同态之集,μ是Ω上的概率测度.基于μ在M中引入了元素(称之为元素命题)的真度概念以及元素命题间的相似度概念,并由此在M上建立了度量结构,从而在更广泛的框架下建立了度量理论.本文结果是已有的命题逻辑中逻辑公式的真度理论的一般化和代数化,思想也可应用到其他多值逻辑代数中.

关 键 词：MV代数 Lukasiewicz命题逻辑  真度

分 类 号：O141.1[数学类] O189.2]