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

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

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

【參考文獻】

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

1 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學報;2006年02期

2 王國俊;;計量邏輯學(Ⅰ)[J];工程數(shù)學學報;2006年02期

【共引文獻】

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

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

2 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學報;2006年02期

3 張紅杰;吳洪博;;L_n命題演算中的一種新程度化方法[J];紡織高�；A科學學報;2007年03期

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

5 裴道武;關于模糊邏輯與模糊推理邏輯基礎問題的十年研究綜述[J];工程數(shù)學學報;2004年02期

6 王國俊;;計量邏輯學(Ⅰ)[J];工程數(shù)學學報;2006年02期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

8 折延宏;若干經(jīng)典命題邏輯問題的拓撲刻畫[D];陜西師范大學;2007年

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

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

【二級參考文獻】

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

1 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學報;2006年02期

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

3 裴道武;關于模糊邏輯與模糊推理邏輯基礎問題的十年研究綜述[J];工程數(shù)學學報;2004年02期

4 王國俊;;計量邏輯學(Ⅰ)[J];工程數(shù)學學報;2006年02期

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

6 王國俊;模糊推理的全蘊涵三I算法[J];中國科學E輯;1999年01期

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

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

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

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

【相似文獻】

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

1 鄒都;李德宜;謝鳳繁;;一些新的運動公式及其應用[J];數(shù)學物理學報;2011年03期

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

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

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

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

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

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

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

2 高菲菲;多值命題邏輯中若干邏輯理論的拓撲刻畫[D];陜西師范大學;2008年

3 折延宏;若干經(jīng)典命題邏輯問題的拓撲刻畫[D];陜西師范大學;2007年

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

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

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

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

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

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

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

，

本文編號：676343