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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

7 熊天義;Lukasiewicz蘊(yùn)涵[J];淮北煤師院學(xué)報(bào)(自然科學(xué)版);1996年03期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：1280636