發(fā)布時間：2017-05-22 21:18

  本文關鍵詞：MV代數的度量化研究及其在Lukasiewicz命題邏輯中的應用，由筆耕文化傳播整理發(fā)布。

【摘要】：設M是一個MV代數,Ω是從M到標準MV代數[0,1]_(MV)的全體同態(tài)之集,μ是Ω上的概率測度.基于μ在M中引入了元素(稱之為元素命題)的真度概念以及元素命題間的相似度概念,并由此在M上建立了度量結構,從而在更廣泛的框架下建立了度量理論.本文結果是已有的命題邏輯中邏輯公式的真度理論的一般化和代數化,思想也可應用到其他多值邏輯代數中.
【作者單位】： 陜西師范大學數學研究所;西安交通大學基礎科學研究中心;
【關鍵詞】： MV代數 Lukasiewicz命題邏輯 真度
【基金】：國家自然科學基金資助項目(10331010,10771129) 陜西師范大學優(yōu)秀博士學位論文基金資助項目
【分類號】：O141.1
【正文快照】： Mv代數ll]是由chang在1958年為證明Lllk始iewic:命題邏輯的完備性而引入的，至今已有近半個世紀的歷史.最初人們只把MV代數看作是與Ltl如昭iewicz命題邏輯相對應的一種語義理論而已，但隨著研究的不斷深化，人們發(fā)現MV代數理論的應用遠遠超出了多值邏輯的范圍，同時也有眾多

【相似文獻】

中國碩士學位論文全文數據庫 前1條

1 范欣;幾種邏輯代數的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D];陜西師范大學;2011年

  本文關鍵詞：MV代數的度量化研究及其在Lukasiewicz命題邏輯中的應用，由筆耕文化傳播整理發(fā)布。

，

本文編號：386920