本文關(guān)鍵詞：經(jīng)典邏輯度量空間中的模2次范整線性空間結(jié)構(gòu)

  更多相關(guān)文章： 邏輯度量空間 平移群 次范整線性空間 真度 有限域F()上的線性賦范空間

【摘要】：將次范整線性空間理論用于研究經(jīng)典邏輯度量空間([F(S)],ρ).構(gòu)造出了([F(S)],ρ)中的一類等距變換,證明了這類等距變換之集構(gòu)成一個(gè)群;進(jìn)而證明了經(jīng)典邏輯度量空間([F(S)],ρ)相對(duì)于此結(jié)構(gòu)構(gòu)成帶有模2加法性質(zhì)的次范整線性空間,且此空間同構(gòu)于有限域F(2)上的線性賦范空間;建立了范數(shù)與邏輯公式的真度以及范數(shù)與邏輯度量空間中的度量ρ之間的關(guān)系.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)研究所;安康學(xué)院數(shù)數(shù)學(xué)系;
【關(guān)鍵詞】： 邏輯度量空間 平移群 次范整線性空間 真度 有限域F()上的線性賦范空間
【基金】：國(guó)家自然科學(xué)基金(No.10771129) 陜西師范大學(xué)研究生培養(yǎng)創(chuàng)新基金(No.2009CXB006)
【分類號(hào)】：O141.1
【正文快照】： 1引言為評(píng)判一般邏輯公式的真假,美國(guó)Stanford大學(xué)的Adam教授、Nilsson教授以及IBM研究決策中心的Fagin教授和Halpern教授等把概率的思想引入到命題邏輯系統(tǒng)中提出了公式的概率概念,本文第二作者則利用均勻概率測(cè)度空間的無(wú)窮可數(shù)乘積與(0,1)中的隨機(jī)數(shù)列先后提出了公式的真

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前2條

1 王國(guó)俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

2 王國(guó)俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 王國(guó)俊;三角型模糊數(shù)空間的均勻性[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);1997年02期

2 王國(guó)俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

3 張紅杰;吳洪博;;L_n命題演算中的一種新程度化方法[J];紡織高校基礎(chǔ)科學(xué)學(xué)報(bào);2007年03期

4 王國(guó)俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學(xué)學(xué)報(bào);2003年03期

5 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問(wèn)題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報(bào);2004年02期

6 王國(guó)俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

7 李駿,黎鎖平,蘭倩;一類n值命題邏輯系統(tǒng)中改進(jìn)的相似度及偽距離[J];甘肅工業(yè)大學(xué)學(xué)報(bào);2003年02期

8 李駿,蘭倩,夏亞峰;標(biāo)準(zhǔn)序列邏輯系統(tǒng)S_3中命題的真度值之集在[0,1]上的分布[J];甘肅工業(yè)大學(xué)學(xué)報(bào);2003年04期

9 楊萬(wàn)必;李永亮;秦宣華;;關(guān)于Z-空間的性質(zhì)[J];湖北民族學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期

10 王國(guó)俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國(guó)科學(xué)A輯;2001年11期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前4條

1 王廷明;吳偉民;;基于主范式的二值命題邏輯公式的真度[A];第一屆中國(guó)智能計(jì)算大會(huì)論文集[C];2007年

2 段巧林;王國(guó)俊;;根與幾種命題邏輯系統(tǒng)中的近似推理[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

3 惠小靜;;關(guān)于命題獨(dú)立性的一點(diǎn)注記[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

4 王國(guó)俊;;數(shù)理邏輯中的數(shù)值化方法(英文)[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前2條

1 韓誠(chéng);R_0代數(shù)及Vague集的相似度理論[D];陜西師范大學(xué);2006年

2 郝清賦;邏輯系統(tǒng)動(dòng)態(tài)結(jié)構(gòu)演化研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2006年

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

1 李駿;一類n值命題邏輯中命題的真度理論及近似推理理論[D];陜西師范大學(xué);2002年

2 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學(xué);2004年

3 馬曉玨;IMTL邏輯系統(tǒng)及IMTL-代數(shù)[D];陜西師范大學(xué);2004年

4 李曉冰;區(qū)間值模糊命題邏輯的廣義擬重言式及其真度[D];遼寧師范大學(xué);2005年

5 張東曉;邏輯公式的語(yǔ)構(gòu)真度和構(gòu)造性三I算法[D];陜西師范大學(xué);2006年

6 李璧鏡;Lukasiweicz邏輯系統(tǒng)中公式的真度理論和邏輯度量空間[D];陜西師范大學(xué);2006年

7 韓邦合;計(jì)量邏輯學(xué)中的近似推理與二值邏輯中命題的條件真度理論[D];陜西師范大學(xué);2007年

8 折延宏;若干經(jīng)典命題邏輯問(wèn)題的拓?fù)淇坍媅D];陜西師范大學(xué);2007年

9 于鵬;F（S）中的近似推理與三I算法的連續(xù)性[D];陜西師范大學(xué);2007年

10 李慧玲;多值命題邏輯和直覺(jué)模糊命題邏輯公式的概率α-真度[D];遼寧師范大學(xué);2007年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 王國(guó)俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

2 王國(guó)俊,任燕;Lukasiewicz命題集的發(fā)散性與相容性[J];工程數(shù)學(xué)學(xué)報(bào);2003年03期

3 裴道武;關(guān)于模糊邏輯與模糊推理邏輯基礎(chǔ)問(wèn)題的十年研究綜述[J];工程數(shù)學(xué)學(xué)報(bào);2004年02期

4 王國(guó)俊;;計(jì)量邏輯學(xué)(Ⅰ)[J];工程數(shù)學(xué)學(xué)報(bào);2006年02期

5 王國(guó)俊,傅麗,宋建社;二值命題邏輯中命題的真度理論[J];中國(guó)科學(xué)A輯;2001年11期

6 王國(guó)俊;模糊推理的全蘊(yùn)涵三I算法[J];中國(guó)科學(xué)E輯;1999年01期

7 裴道武,王國(guó)俊;形式系統(tǒng)鈦~*的完備性及其應(yīng)用[J];中國(guó)科學(xué)E輯;2002年01期

8 宋士吉,吳澄;模糊推理的反向三I算法[J];中國(guó)科學(xué)E輯;2002年02期

9 裴道武,王國(guó)俊;形式系統(tǒng)L~*的擴(kuò)張L_n~*及其完備性[J];中國(guó)科學(xué)E輯;2003年04期

10 王國(guó)俊,李璧鏡;Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J];中國(guó)科學(xué)E輯;2005年06期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 鄒都;李德宜;謝鳳繁;;一些新的運(yùn)動(dòng)公式及其應(yīng)用[J];數(shù)學(xué)物理學(xué)報(bào);2011年03期

2 王廷明;;有限理論結(jié)論基于根的余式和結(jié)論集的表示[J];青島大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年02期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前3條

1 胡明娣;邏輯度量空間的內(nèi)蘊(yùn)結(jié)構(gòu)的研究[D];陜西師范大學(xué);2011年

2 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

3 劉強(qiáng);單調(diào)斜積半流的投影收斂性和生物節(jié)律研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2010年

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

1 程紅梅;幾種邏輯度量空間中的反射變換[D];陜西師范大學(xué);2011年

2 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

3 折延宏;若干經(jīng)典命題邏輯問(wèn)題的拓?fù)淇坍媅D];陜西師范大學(xué);2007年

4 李璧鏡;Lukasiweicz邏輯系統(tǒng)中公式的真度理論和邏輯度量空間[D];陜西師范大學(xué);2006年

5 張紅杰;BL~*系統(tǒng)的一種擴(kuò)張系統(tǒng)及命題演算系統(tǒng)中公式的矛盾度理論[D];陜西師范大學(xué);2008年

6 張樂(lè);MTL-代數(shù)上的度量化研究[D];浙江理工大學(xué);2012年

7 邵紅梅;有限環(huán)Z_（pq）上交錯(cuò)矩陣的結(jié)合方案[D];河北師范大學(xué);2004年

8 李輝;兩種特殊線性模型的參數(shù)估計(jì)[D];湘潭大學(xué);2004年

9 高香妮;命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[D];陜西師范大學(xué);2010年

10 李海亞;n值SMTL系統(tǒng)中命題的∑-（[α，β]-真度）理論[D];蘭州理工大學(xué);2012年

，

本文編號(hào)：676343