本文選題：模糊邏輯 + 語(yǔ)義��； 參考：《西南交通大學(xué)學(xué)報(bào)(自然科學(xué)版)》2000年05期

【摘要】：將邏輯系統(tǒng) W ,W ,Wk 中的廣義重言式理論進(jìn)行推廣并應(yīng)用到Lukasiewicz邏輯系統(tǒng)中 ,主要結(jié)果是 :得到了邏輯公式集F(S)在該系統(tǒng)中關(guān)于嗀同余的分劃 ;證明了在該邏輯系統(tǒng)中對(duì)每個(gè)無(wú)理數(shù)α而言 ,不存在可達(dá)α 重言式 ,且對(duì)每個(gè)實(shí)數(shù)α而言 ,不存在可達(dá)α+ 重言式 ;給出了廣義重言式、廣義矛盾式各類之間的關(guān)系定理。
[Abstract]:......
【作者單位】： 四川大學(xué)數(shù)學(xué)系!四川成都610064 西南交通大學(xué)應(yīng)用數(shù)學(xué)系!四川成都610031
【分類號(hào)】：O141.1

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 王國(guó)俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國(guó)科學(xué)E輯;1998年02期

2 王國(guó)俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報(bào);1997年10期

3 楊曉斌,張文修;Lukasiewicz系統(tǒng)中的廣義重言式理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1998年04期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 辛?xí)詵|,尤飛;乘積R_0-代數(shù)上的若干映射性質(zhì)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2000年02期

2 吳洪博;L~*系統(tǒng)的一種改進(jìn)系統(tǒng)L_0~*[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2001年01期

3 吳恒洋,韓誠(chéng);非全序R_0代數(shù)的結(jié)構(gòu)[J];純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué);2004年01期

4 裴道武,姜慧;一個(gè)新的模糊謂詞演算形式系統(tǒng)[J];東北師大學(xué)報(bào)(自然科學(xué)版);2003年01期

5 王國(guó)俊;關(guān)于模糊推理的若干基本問(wèn)題[J];工程數(shù)學(xué)學(xué)報(bào);2000年S1期

6 辛?xí)詵|;非線性格值邏輯系統(tǒng)鄀_6[J];工程數(shù)學(xué)學(xué)報(bào);2000年S1期

7 王向云;賦值為R_0-模糊集的邏輯系統(tǒng)[J];工程數(shù)學(xué)學(xué)報(bào);2001年01期

8 吳洪博,閻滿富;G銉del邏輯系統(tǒng)中F(S)的一個(gè)分劃及其應(yīng)用[J];工程數(shù)學(xué)學(xué)報(bào);2001年04期

9 裴道武;模糊邏輯中的自然演繹系統(tǒng)[J];工程數(shù)學(xué)學(xué)報(bào);2002年03期

10 朱怡權(quán);R_0代數(shù)的對(duì)偶代數(shù)[J];工程數(shù)學(xué)學(xué)報(bào);2002年04期

相關(guān)會(huì)議論文 前1條

1 裴道武;;R_0代數(shù)中的MP濾子與同余關(guān)系[A];模糊集理論與模糊應(yīng)用專輯——中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十屆年會(huì)論文選集[C];2000年

相關(guān)博士學(xué)位論文 前10條

1 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

2 趙光峰;格蘊(yùn)涵代數(shù)與圖的升分解問(wèn)題的研究[D];西南交通大學(xué);2002年

3 馬駿;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)及其自動(dòng)推理的研究[D];西南交通大學(xué);2002年

4 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動(dòng)推理方法的研究[D];西南交通大學(xué);2002年

5 李文江;基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動(dòng)推理的研究[D];西南交通大學(xué);2002年

6 李海明;關(guān)于格值邏輯及自動(dòng)推理的研究[D];西南交通大學(xué);2003年

7 徐蔚鴻;模糊智能系統(tǒng)中模糊推理研究[D];南京理工大學(xué);2004年

8 孟丹;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)的歸結(jié)自動(dòng)推理研究[D];西南交通大學(xué);2004年

9 王學(xué)芳;基于格蘊(yùn)涵代數(shù)的格值邏輯及其模型論的研究[D];西南交通大學(xué);2004年

10 姜保慶;關(guān)于弱比例規(guī)則的挖掘及推理研究[D];西南交通大學(xué);2005年

相關(guān)碩士學(xué)位論文 前10條

1 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學(xué);2001年

2 高小軍;模糊推理的新算法及基于模糊小波網(wǎng)絡(luò)的自適應(yīng)控制[D];西安電子科技大學(xué);2002年

3 袁和軍;模糊推理的形式化理論[D];陜西師范大學(xué);2002年

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

5 �，幹�;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

6 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

7 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

8 張花榮;代數(shù)系統(tǒng)的可嵌入性[D];陜西師范大學(xué);2003年

9 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

10 吳恒洋;模糊推理的數(shù)學(xué)結(jié)構(gòu)及其應(yīng)用[D];上海師范大學(xué);2004年

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

相關(guān)期刊論文 前3條

1 王國(guó)俊;模糊命題演算的一種形式演繹系統(tǒng)[J];科學(xué)通報(bào);1997年10期

2 王國(guó)俊;一類代數(shù)上的邏輯學(xué)(Ⅱ)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年03期

3 王國(guó)俊;修正的Kleene系統(tǒng)中的Σ-(α-重言式)理論[J];中國(guó)科學(xué)E輯;1998年02期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 楊曉斌,張文修;Lukasiewicz系統(tǒng)中的廣義重言式理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);1998年04期

2 吳洪博,閻滿富;Gainse-Rescher邏輯系統(tǒng)中的廣義重言式理論[J];四川大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年05期

3 裴道武;多值邏輯系統(tǒng)中的子代數(shù)與廣義重言式[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年02期

4 吳洪博,王國(guó)俊;Lukasie wicz邏輯系統(tǒng)中的廣義重言式理論[J];西南交通大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年05期

5 楊曉斌,張文修;Lukasiewicz多值邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年01期

6 吳洪博;G銉del邏輯系統(tǒng)中的廣義重言式理論[J];模糊系統(tǒng)與數(shù)學(xué);2000年04期

7 吳洪博,閻滿富;G銉del邏輯系統(tǒng)中F(S)的一個(gè)分劃及其應(yīng)用[J];工程數(shù)學(xué)學(xué)報(bào);2001年04期

8 李駿,韋奉岐,馬盈倉(cāng);邏輯系統(tǒng)中重言式及廣義重言式的關(guān)系[J];紡織高�；A(chǔ)科學(xué)學(xué)報(bào);2001年01期

9 韓誠(chéng),王國(guó)俊;命題公式集F(S)的基于R_0-算子的16類分劃[J];數(shù)學(xué)研究與評(píng)論;2005年03期

10 韓瑩,陳森發(fā);擾動(dòng)模糊命題邏輯的代數(shù)結(jié)構(gòu)及其廣義重言式性質(zhì)[J];高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯(中文版);2005年04期

相關(guān)會(huì)議論文 前1條

1 陳圖云;吳鳳干;湯服成;;直覺(jué)模糊命題邏輯的廣義擬重言式及其分類[A];第12屆全國(guó)模糊系統(tǒng)與模糊數(shù)學(xué)學(xué)術(shù)年會(huì)論文集[C];2004年

相關(guān)博士學(xué)位論文 前1條

1 馬盈倉(cāng);命題泛邏輯的演算理論及推理研究[D];西北工業(yè)大學(xué);2006年

相關(guān)碩士學(xué)位論文 前10條

1 王向云;區(qū)間值模糊推理的三Ⅰ算法[D];陜西師范大學(xué);2001年

2 王龍春;L～*系統(tǒng)中的一類廣義重言式與L～*系統(tǒng)的一種擴(kuò)張[D];陜西師范大學(xué);2003年

3 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

4 陳文麗;修正的Atanassov命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

5 張宇卓;區(qū)間值模糊命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

6 韓瑩;擾動(dòng)模糊命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

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

8 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

9 李麗;模糊時(shí)序命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

10 吳鳳干;直覺(jué)模糊命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

，

本文編號(hào)：1897896