利用勢為 n的均勻概率空間的無窮乘積在 Lukasiewicz n值命題邏輯中引入了公式的真度概念,當(dāng)3≤n≤17時證明了全體公式的真度值之集在[0,1]上是稠密的,并給出了公式真度的表達(dá)通式;利用真度定義了公式間的相似度,進(jìn)而導(dǎo)出了全體公式集上的一種偽距離,為n值Lukasiewicz命題邏輯系統(tǒng)的近似推理理論提供了一種可能的框架。 

【文章來源】：數(shù)學(xué)學(xué)報. 2004,(04)北大核心

【文章頁數(shù)】：12 頁

【文章目錄】：
1 引言及主要結(jié)果
2公式的真度
3 公式間的相似度與偽距離
4 結(jié)束語


【參考文獻(xiàn)】：
期刊論文
[1]多值邏輯系統(tǒng)Ln中公式相對于有限理論Γ的Camberra-真度理論[J]. 于鴻麗,吳洪博.  模糊系統(tǒng)與數(shù)學(xué). 2021(05)
[2]增加兩類算子的Goguen n值命題邏輯系統(tǒng)的t真度及性質(zhì)[J]. 南寧,惠小靜,金明慧.  模糊系統(tǒng)與數(shù)學(xué). 2021(02)
[3]n值乘積命題邏輯系統(tǒng)的真度研究[J]. 南寧,金明慧,惠小靜.  延安大學(xué)學(xué)報(自然科學(xué)版). 2021(01)
[4]公式真度的Hamming距離表示形式與分解定理[J]. 于鵬,趙彬.  軟件學(xué)報. 2018(10)
[5]概率計(jì)量邏輯研究進(jìn)展簡述[J]. 周紅軍,蘭淑敏,馬琴.  模糊系統(tǒng)與數(shù)學(xué). 2017(01)
[6]乘積邏輯系統(tǒng)Π∞中命題的條件隨機(jī)真度[J]. 隋云云.  模糊系統(tǒng)與數(shù)學(xué). 2016(04)
[7]邏輯系統(tǒng)Ln*中一類特殊公式的ΣΓ-真度[J]. 馬巧云.  計(jì)算機(jī)工程與應(yīng)用. 2016(11)
[8]命題邏輯系統(tǒng)R0L3n+1中公式的Γ-真度及性質(zhì)[J]. 吳洪博,周建仁.  計(jì)算機(jī)學(xué)報. 2015(08)
[9]一種度量結(jié)構(gòu)在四種邏輯代數(shù)上的共性[J]. 吳洪博,謝晶晶.  模糊系統(tǒng)與數(shù)學(xué). 2014(02)
[10]Lukasiewicz命題邏輯系統(tǒng)中真度的等價定義及相關(guān)性質(zhì)[J]. 周建仁,吳洪博.  工程數(shù)學(xué)學(xué)報. 2013(04)

博士論文
[1]一階邏輯系統(tǒng)的計(jì)量化研究[D]. 秦曉燕.西南交通大學(xué) 2015
[2]邏輯代數(shù)系統(tǒng)的粗糙性與拓?fù)湫再|(zhì)研究[D]. 羅清君.陜西師范大學(xué) 2014
[3]模態(tài)邏輯的計(jì)量化研究及其在模型檢驗(yàn)中的應(yīng)用[D]. 時慧嫻.陜西師范大學(xué) 2013
[4]邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D]. 王慶平.陜西師范大學(xué) 2012
[5]賦值代數(shù)分裂算法與隱性半環(huán)賦值研究[D]. 韓邦合.陜西師范大學(xué) 2011
[6]模糊推理方法及知識推理的計(jì)量化研究[D]. 馬麗娜.陜西師范大學(xué) 2011
[7]邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D]. 胡明娣.陜西師范大學(xué) 2011
[8]計(jì)量邏輯學(xué)及其隨機(jī)化研究[D]. 惠小靜.陜西師范大學(xué) 2008

碩士論文
[1]n值（?）ukasiewicz命題邏輯系統(tǒng)的真度研究[D]. 南寧.延安大學(xué) 2021
[2]Goguen公理化擴(kuò)張系統(tǒng)的真度理論研究[D]. 高曉莉.延安大學(xué) 2017
[3]兩種命題邏輯系統(tǒng)中的真度研究[D]. 賀錦瑞.延安大學(xué) 2016
[4]n值S-MTL系統(tǒng)中公式的矛盾度理論及理論的平均真度[D]. 李小兵.蘭州理工大學(xué) 2014
[5]n值SMTL系統(tǒng)中命題的∑-（[α，β]-真度）理論[D]. 李海亞.蘭州理工大學(xué) 2012
[6]Ln系統(tǒng)和Ln*系統(tǒng)中的真度理論[D]. 謝晶晶.陜西師范大學(xué) 2012
[7]粗糙邏輯及其計(jì)量化研究[D]. 劉歡.西安工程大學(xué) 2012
[8]公式真度的推廣及L*系統(tǒng)單原子生成真值函數(shù)的特征[D]. 陳熙.揚(yáng)州大學(xué) 2011
[9]幾種邏輯代數(shù)的剩余格刻畫及命題邏輯系統(tǒng)中條件真度的比較[D]. 范欣.陜西師范大學(xué) 2011
[10]命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D]. 高香妮.陜西師范大學(xué) 2010



本文編號：3643778