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

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

【相似文獻(xiàn)】

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

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

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

，

本文編號：386920