本文關鍵詞：IMTL邏輯系統(tǒng)的一種新擴張形式

  更多相關文章： 模糊邏輯 IMTL邏輯系統(tǒng) Lukasiewicz邏輯系統(tǒng) 邏輯系統(tǒng)L* IMTL*邏輯系統(tǒng) 蘊涵表示

【摘要】：提出了一種新的模糊邏輯系統(tǒng)IMTL*,這種邏輯系統(tǒng)的特點是只使用蘊涵這一種邏輯聯(lián)接詞。證明了這種邏輯系統(tǒng)是IMTL邏輯系統(tǒng)的模型擴張,并且Lukasiewicz邏輯系統(tǒng)和邏輯系統(tǒng)L*都是它的模型擴張,應用這些結(jié)論給出了Lukasiewicz邏輯系統(tǒng)和邏輯系統(tǒng)L*的蘊涵表示形式。只使用蘊涵這一種邏輯聯(lián)接詞的模糊邏輯系統(tǒng)將為模糊邏輯的應用提供方便。
【作者單位】： 河西學院數(shù)學與統(tǒng)計學院;陜西師范大學數(shù)學與信息科學學院;
【基金】：國家自然科學基金資助項目(11171196) 中央高�；究蒲袠I(yè)務費專項基金項目(GK201501001)
【分類號】：O141.1
【正文快照】： 0引言錢ukasiew icz邏輯系統(tǒng)、乘積邏輯系統(tǒng)和G¨odel邏輯系統(tǒng)是最早提出的三種多值邏輯系統(tǒng)[1]。1998年H錰jek教授基于對這幾種著名模糊命題演算系統(tǒng)的共同特征提出了基礎模糊命題演算系統(tǒng)BL和基礎邏輯代數(shù)BL[2]。王國俊教授于1997年建立了模糊命題演算形式演繹系統(tǒng)L*,隨后又

【相似文獻】

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

1 王颶安;對開放邏輯系統(tǒng)的哲學思考[J];自然辯證法研究;1995年02期

2 王霞,郭嗣琮;有限狀態(tài)模糊思辨邏輯系統(tǒng)及其數(shù)學模型[J];遼寧工程技術大學學報(自然科學版);1998年06期

3 童雪;由鈦ω_1ω誘導的幾個邏輯系統(tǒng)[J];現(xiàn)代電力;1998年03期

4 王霞;模糊思辨邏輯系統(tǒng)[J];遼寧工程技術大學學報(自然科學版);1999年01期

5 馮玉琳;程序驗證的一個邏輯系統(tǒng)[J];自然雜志;1980年11期

6 馬華孝;;2~3值邏輯系統(tǒng)的基本運算規(guī)則與物理模型[J];成都科技大學學報;1986年03期

7 熊天義;Lukasiewicz蘊涵[J];淮北煤師院學報(自然科學版);1996年03期

8 王霞;模糊思辨邏輯系統(tǒng)[J];遼寧工程技術大學學報(自然科學版);1999年02期

9 裴道武;基于正規(guī)剩余格的一個邏輯系統(tǒng)及其完備性[J];淮陰師范學院學報(自然科學版);2002年01期

10 施慶生，張東摩;基于中介邏輯的多模態(tài)邏輯系統(tǒng)[J];南京航空航天大學學報;1996年01期

中國重要會議論文全文數(shù)據(jù)庫 前9條

1 裴道武;;基本邏輯系統(tǒng)中一個定理的新證明(英文)[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十一屆年會論文選集[C];2002年

2 ;貴州制約邏輯學會2005年學術年會暨首屆全國性邏輯系統(tǒng)專題研討會在花溪召開[A];貴州制約邏輯學會2005年學術年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

3 王霞;郭嗣琮;;一種TDLS的初步探討[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

4 陳永義;;NF邏輯系統(tǒng)[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

5 劉軍;馬駿;;格值邏輯系統(tǒng)LP(X)的推理性質(zhì)討論[A];模糊集理論與應用——98年中國模糊數(shù)學與模糊系統(tǒng)委員會第九屆年會論文選集[C];1998年

6 錢磊;;中介邏輯系統(tǒng)MF的Gentzen系統(tǒng)[A];中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第五屆年會論文選集[C];1990年

7 褚智萍;;命題的辯證唯物論真假觀[A];2013年“獲取新知”專題研討會——弘揚獲取新知的思想 開發(fā)振興貴州的智慧論文集[C];2013年

8 張清宇;;名辭邏輯系統(tǒng)MC[A];科學發(fā)展：文化軟實力與民族復興——紀念中華人民共和國成立60周年論文集（下卷）[C];2009年

9 王培;;概稱句的生成與評價(英文)[A];2004年邏輯研究專輯[C];2004年

中國博士學位論文全文數(shù)據(jù)庫 前2條

1 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構演化研究[D];國防科學技術大學;2006年

2 馮彥波;合并邏輯方法研究[D];南開大學;2010年

中國碩士學位論文全文數(shù)據(jù)庫 前9條

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

2 劉歡;粗糙邏輯及其計量化研究[D];西安工程大學;2012年

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

4 栗文國;基于未確知邏輯系統(tǒng)的業(yè)務過程診斷方法研究[D];河北工程大學;2009年

5 束媛媛;格值模型理論與格值邏輯系統(tǒng)的現(xiàn)狀研究[D];淮北師范大學;2011年

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

7 李立峰;Lukasiewicz邏輯系統(tǒng)中的模糊推理及模糊概念格的屬性約簡[D];陜西師范大學;2006年

8 雷沖;Curry悖論研究[D];華中科技大學;2013年

9 王小敏;L～*系統(tǒng)中的模糊演繹定理與R_0代數(shù)性質(zhì)的新探索[D];陜西師范大學;2007年

，

本文編號：1280636