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

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

【參考文獻】

相關期刊論文 前3條

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

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

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

【共引文獻】

相關期刊論文 前10條

1 辛曉東,尤飛;乘積R_0-代數上的若干映射性質[J];寶雞文理學院學報(自然科學版);2000年02期

2 吳洪博;L~*系統(tǒng)的一種改進系統(tǒng)L_0~*[J];純粹數學與應用數學;2001年01期

3 吳恒洋,韓誠;非全序R_0代數的結構[J];純粹數學與應用數學;2004年01期

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

5 王國俊;關于模糊推理的若干基本問題[J];工程數學學報;2000年S1期

6 辛曉東;非線性格值邏輯系統(tǒng)鄀_6[J];工程數學學報;2000年S1期

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

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

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

10 朱怡權;R_0代數的對偶代數[J];工程數學學報;2002年04期

相關會議論文 前1條

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

相關博士學位論文 前10條

1 李志偉;偏序集上的蘊涵代數[D];首都師范大學;2002年

2 趙光峰;格蘊涵代數與圖的升分解問題的研究[D];西南交通大學;2002年

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

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

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

6 李海明;關于格值邏輯及自動推理的研究[D];西南交通大學;2003年

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

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

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

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

相關碩士學位論文 前10條

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

2 高小軍;模糊推理的新算法及基于模糊小波網絡的自適應控制[D];西安電子科技大學;2002年

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

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

5 常瑤芝;L～*謂詞邏輯與R_0代數性質新探[D];陜西師范大學;2003年

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

7 蘭蓉;t-模與蘊涵算子的同構及廣義重言式理論[D];陜西師范大學;2003年

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

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

10 吳恒洋;模糊推理的數學結構及其應用[D];上海師范大學;2004年

【二級參考文獻】

相關期刊論文 前3條

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

2 王國俊;一類代數上的邏輯學(Ⅱ)[J];陜西師范大學學報(自然科學版);1997年03期

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

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

8 李駿,韋奉岐,馬盈倉;邏輯系統(tǒng)中重言式及廣義重言式的關系[J];紡織高校基礎科學學報;2001年01期

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

10 韓瑩,陳森發(fā);擾動模糊命題邏輯的代數結構及其廣義重言式性質[J];高校應用數學學報A輯(中文版);2005年04期

相關會議論文 前1條

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

相關博士學位論文 前1條

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

相關碩士學位論文 前10條

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

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

3 蘭蓉;t-模與蘊涵算子的同構及廣義重言式理論[D];陜西師范大學;2003年

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

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

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

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

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

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

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

，

本文編號：1897896