【摘要】：目的研究可與三角模構(gòu)成伴隨的蘊(yùn)涵算子,即正則蘊(yùn)涵算子。方法非經(jīng)典數(shù)理邏輯的語(yǔ)義理論。結(jié)果對(duì)正則蘊(yùn)涵算子的定義進(jìn)行了簡(jiǎn)化,進(jìn)而介紹了一種生成正則蘊(yùn)涵算子的方法,最后就某些具有特殊性質(zhì)的正則算子進(jìn)行了研究,得到了相應(yīng)的函數(shù)特征。結(jié)論正則蘊(yùn)涵算子對(duì)于建立完備的邏輯系統(tǒng)至關(guān)重要。
[Abstract]:Aim to study the adjoint implication operator, the regular implication operator, which can be formed by trigonometric modules. Methods semantic theory of nonclassical mathematical logic. Results the definition of regular implication operator is simplified, and a method of generating regular implication operator is introduced. Finally, some regular operators with special properties are studied and the corresponding functional characteristics are obtained. Conclusion the regular implication operator is very important for the establishment of a complete logical system.
【作者單位】： 陜西師范大學(xué)數(shù)學(xué)與信息科學(xué)學(xué)院 陜西師范大學(xué)旅游與環(huán)境學(xué)院
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(10471083)
【分類(lèi)號(hào)】：O141.1

【共引文獻(xiàn)】

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

1 許文艷,韓誠(chéng);R_0代數(shù)中的真布爾元[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2003年04期

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

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

4 胡明娣;王國(guó)俊;;基礎(chǔ)R_0代數(shù)的結(jié)構(gòu)研究[J];紡織高校基礎(chǔ)科學(xué)學(xué)報(bào);2006年03期

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

6 張小紅,薛占熬,馬盈倉(cāng);R_0-代數(shù)(NM-代數(shù))的布爾MP濾子與布爾MP理想[J];工程數(shù)學(xué)學(xué)報(bào);2005年02期

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

8 張興芳;孟廣武;張安英;;蘊(yùn)涵算子族及其應(yīng)用[J];計(jì)算機(jī)學(xué)報(bào);2007年03期

9 王國(guó)俊,許文艷;從事實(shí)邏輯到任務(wù)邏輯[J];模糊系統(tǒng)與數(shù)學(xué);2004年01期

10 蘇忍鎖,王國(guó)俊;R_0代數(shù)的Fuzzy MP濾子[J];模糊系統(tǒng)與數(shù)學(xué);2004年02期

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

1 任芳;正則蘊(yùn)涵算子與新型模糊邏輯系統(tǒng)的研究[D];陜西師范大學(xué);2005年

2 尚云;量子邏輯中有效代數(shù)與偽有效代數(shù)的研究[D];陜西師范大學(xué);2005年

3 劉華文;直覺(jué)模糊與區(qū)間值模糊環(huán)境下的多準(zhǔn)則決策與推理算法[D];山東大學(xué);2005年

4 王小明;時(shí)態(tài)角色委托代理授權(quán)圖模型及其分析研究[D];西北大學(xué);2004年

5 陳樹(shù)偉;基于格蘊(yùn)涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學(xué);2006年

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

7 伊良忠;格蘊(yùn)涵代數(shù)及語(yǔ)言真值不確定性推理研究[D];西南交通大學(xué);2007年

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

1 許文艷;任務(wù)邏輯[D];陜西師范大學(xué);2004年

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

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

4 劉振晗;基于廣義歸結(jié)的程序綜合[D];大連理工大學(xué);2005年

5 雷紅軒;同步格值自動(dòng)機(jī)和同步格值有限自動(dòng)機(jī)[D];陜西師范大學(xué);2005年

6 周湘南;理論的相容度及效應(yīng)代數(shù)的濾子與商[D];陜西師范大學(xué);2005年

7 姚衛(wèi);Heyting代數(shù)中的濾子與同構(gòu)定理及其范疇Heyt[D];陜西師范大學(xué);2005年

8 朱華;格蘊(yùn)涵代數(shù)中濾子和理想的研究[D];西南交通大學(xué);2005年

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

10 羅清君;IL型三I算法及其還原性和R_0代數(shù)中的濾子格[D];陜西師范大學(xué);2006年

【相似文獻(xiàn)】

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

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

2 李建生;n值邏輯系統(tǒng)中命題的絕對(duì)真度及其隨機(jī)化理論[D];蘭州理工大學(xué);2008年

3 鄧富喜;n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性[D];蘭州理工大學(xué);2011年

4 李彩紅;命題邏輯中廣義MP問(wèn)題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

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

，

本文編號(hào)：2412502