發(fā)布時(shí)間：2017-09-15 21:23

  本文關(guān)鍵詞：系統(tǒng)H_α中的子代數(shù)的廣義重言式理論

  更多相關(guān)文章： 多值邏輯系統(tǒng) 廣義重言式 子代數(shù) 分劃

【摘要】：將多值邏輯系統(tǒng)H(α0≤α≤1)中的廣義重言式理論進(jìn)行推廣,討論其序稠密子代數(shù)的廣義重言式理論,利用可達(dá)廣義重言式概念在系統(tǒng)H1的序稠密子代數(shù)中給出F(S)的一個(gè)分劃,并把系統(tǒng)H1中的相關(guān)結(jié)論推廣到系統(tǒng)H(α0≤α≤1)中。
【作者單位】： 延安大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院;陜西師范大學(xué)數(shù)學(xué)研究所;
【關(guān)鍵詞】： 多值邏輯系統(tǒng) 廣義重言式 子代數(shù) 分劃
【基金】：國(guó)家自然科學(xué)基金Grant No.10331010 延安大學(xué)基金(No.YDK2007-28)~~
【分類號(hào)】：O141.1
【正文快照】： 1引言文獻(xiàn)[1-3]引入了蘊(yùn)涵算子R0,建立了修正的Kleene系統(tǒng),并引入了∑-(α-重言式)理論,這為多值邏輯提供了新的研究方向。此后,其他多值邏輯系統(tǒng)中的廣義重言式理論也蓬勃發(fā)展[4-12]。文獻(xiàn)[4]引入了帶參數(shù)的多值邏輯系統(tǒng)H(α0≤α≤1),研究了系統(tǒng)Hα中的廣義重言式理論。該

【參考文獻(xiàn)】

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

1 王國(guó)俊,蘭蓉;系統(tǒng)H_α中的廣義重言式理論[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年02期

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

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

4 吳洪博;修正的Kleene系統(tǒng)中的廣義重言式理論[J];中國(guó)科學(xué)E輯;2002年02期

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

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

7 吳洪博;G銉del系統(tǒng)中一種降級(jí)算法及性質(zhì)[J];四川大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年06期

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

【共引文獻(xiàn)】

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

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

2 蘇忍鎖;蘊(yùn)涵格、弱R_o代數(shù)與正則剩余格[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2004年02期

3 尤飛,馮艷賓,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅰ)——模糊蘊(yùn)涵算子及其性質(zhì)[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2003年05期

4 尤飛,馮艷賓,王加銀,李洪興;模糊蘊(yùn)涵算子及其構(gòu)造(Ⅱ)——模糊蘊(yùn)涵算子的伴隨對(duì)及其圈乘算子[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年02期

5 張宇卓,李洪興;基于變權(quán)理論的模糊推理前提約化的一類方法[J];北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

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

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

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

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

10 馬盈倉(cāng),李駿;FMP和FMT的三I解及其性質(zhì)[J];紡織高校基礎(chǔ)科學(xué)學(xué)報(bào);2005年02期

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

1 王茹;王國(guó)俊;;一種新的理論的相容度及近似推理方法[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

2 郭秀敏;王國(guó)俊;;關(guān)于描述邏輯中不動(dòng)點(diǎn)語(yǔ)義的討論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

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

4 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

5 潘小東;徐揚(yáng);;基于Lukasiewicz蘊(yùn)涵代數(shù)的模糊命題邏輯的語(yǔ)法理論[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

6 胡明娣;于鵬;王國(guó)俊;;蘊(yùn)涵格的正規(guī)MP-濾子與素濾子[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

7 陳圖云;陳文麗;;修正的Atanassov邏輯及其廣義重言式[A];中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第十一屆年會(huì)論文選集[C];2002年

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

1 樊磊;Domain理論中若干問(wèn)題的研究[D];首都師范大學(xué);2001年

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

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

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

5 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動(dòng)推理理論及方法的研究[D];西南交通大學(xué);2002年

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

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

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

9 沈暉;基于知識(shí)管理的企業(yè)集成支撐技術(shù)研究[D];清華大學(xué);2003年

10 劉曉紅;關(guān)于企業(yè)人力資源評(píng)價(jià)信息處理系統(tǒng)的研究[D];西南交通大學(xué);2004年

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

1 任芳;互為伴隨的三角模與蘊(yùn)涵算子及蘊(yùn)涵算子的逼近問(wèn)題[D];陜西師范大學(xué);2001年

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

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 賈國(guó)恒;盧卡西維茨多值邏輯及其與一些邏輯的比較[D];河南大學(xué);2003年

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

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

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

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

3 吳望名;參數(shù)Kleene系統(tǒng)中的廣義重言式[J];模糊系統(tǒng)與數(shù)學(xué);2000年01期

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

5 李繼成,張文修;HFI-代數(shù)的擬Fuzzy-賦值[J];模糊系統(tǒng)與數(shù)學(xué);2000年02期

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

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

8 吳洪博,文秋梅;L~*系統(tǒng)中的模糊演繹定理[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2001年01期

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

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

【相似文獻(xiàn)】

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

1 李必祥;計(jì)算機(jī)中的Fuzzy邏輯系統(tǒng)[J];湖北師范學(xué)院學(xué)報(bào)(自然科學(xué)版);1982年02期

2 許小曙;;多值T-ULM時(shí)序網(wǎng)絡(luò)的理論與綜合方法[J];鐵道科學(xué)與工程學(xué)報(bào);1985年01期

3 李祥,李廣元;“中介邏輯”的特征問(wèn)題[J];科學(xué)通報(bào);1988年22期

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

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

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

7 吳洪博,文秋梅;邏輯系統(tǒng)鄘,W,W_k中F(S)的一個(gè)分劃及其升級(jí)算法的性質(zhì)[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2000年02期

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

9 吳望名;參數(shù)Kleene系統(tǒng)中的廣義重言式[J];模糊系統(tǒng)與數(shù)學(xué);2000年01期

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

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

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

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

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

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前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)：858966