【摘要】：目的研究可與三角模構成伴隨的蘊涵算子,即正則蘊涵算子。方法非經典數(shù)理邏輯的語義理論。結果對正則蘊涵算子的定義進行了簡化,進而介紹了一種生成正則蘊涵算子的方法,最后就某些具有特殊性質的正則算子進行了研究,得到了相應的函數(shù)特征。結論正則蘊涵算子對于建立完備的邏輯系統(tǒng)至關重要。
[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.
【作者單位】： 陜西師范大學數(shù)學與信息科學學院 陜西師范大學旅游與環(huán)境學院
【基金】：國家自然科學基金資助項目(10471083)
【分類號】：O141.1

【共引文獻】

相關期刊論文 前10條

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

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

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

4 胡明娣;王國俊;;基礎R_0代數(shù)的結構研究[J];紡織高�；A科學學報;2006年03期

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

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

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

8 張興芳;孟廣武;張安英;;蘊涵算子族及其應用[J];計算機學報;2007年03期

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

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

相關博士學位論文 前7條

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

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

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

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

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

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

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

相關碩士學位論文 前10條

1 許文艷;任務邏輯[D];陜西師范大學;2004年

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

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

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

5 雷紅軒;同步格值自動機和同步格值有限自動機[D];陜西師范大學;2005年

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

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

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

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

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

【相似文獻】

相關碩士學位論文 前5條

1 任芳;互為伴隨的三角模與蘊涵算子及蘊涵算子的逼近問題[D];陜西師范大學;2001年

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

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

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

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

，

本文編號：2412502