發(fā)布時(shí)間：2020-08-24 19:35

【摘要】：析取性質(zhì)是一個(gè)邏輯的構(gòu)造性特征的重要體現(xiàn)。嚴(yán)格蘊(yùn)涵命題邏輯(正規(guī)命題邏輯)是正規(guī)模態(tài)邏輯的嚴(yán)格蘊(yùn)涵片段。本文研究了正規(guī)命題邏輯的析取性質(zhì),運(yùn)用K leene slash給出了析取性質(zhì)的純句法刻畫(huà)條件。對(duì)于帶有持續(xù)性公理的正規(guī)命題邏輯,本文給出了其析取性質(zhì)的一個(gè)充分的語(yǔ)義條件。

【共引文獻(xiàn)】

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

1 何文X;馬明輝;;弱連通傳遞框架類的命題邏輯[J];邏輯學(xué)研究;2013年04期

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

1 何文X;弱連通傳遞框架類的基本命題邏輯研究[D];西南大學(xué);2014年

【相似文獻(xiàn)】

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

1 陳志美,胡澤洪;斯多葛學(xué)派的命題邏輯系統(tǒng)及其不完全性[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2001年01期

2 滕定明;;命題邏輯在語(yǔ)用研究中的應(yīng)用[J];河北理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2008年03期

3 金樊;;推理有效性的判定方法及其特點(diǎn)比較——以命題邏輯為例[J];長(zhǎng)春工程學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2010年02期

4 張勝禮;;中介命題邏輯一種改進(jìn)的無(wú)窮值語(yǔ)義模型[J];興義民族師范學(xué)院學(xué)報(bào);2011年01期

5 郝玲;;命題邏輯的推理方法[J];山西財(cái)經(jīng)大學(xué)學(xué)報(bào);2012年S1期

6 薛彩霞;;非形式化的命題邏輯和謂詞邏輯有效性判定方法之比較分析[J];才智;2012年22期

7 張建成;蘇連塔;;命題邏輯系統(tǒng)理論(廣義)根性質(zhì)及應(yīng)用[J];山東大學(xué)學(xué)報(bào)(工學(xué)版);2013年04期

8 陶景侃;;法律命題邏輯的元邏輯[J];蘭州大學(xué)學(xué)報(bào);1988年03期

9 陶景侃;用法律的觀點(diǎn)評(píng)價(jià)現(xiàn)代規(guī)范邏輯[J];蘭州學(xué)刊;1997年03期

10 朱小陽(yáng);;聯(lián)言命題邏輯值的真與語(yǔ)義的恰當(dāng)之關(guān)系探析[J];江西社會(huì)科學(xué);2006年01期

相關(guān)會(huì)議論文 前9條

1 陳國(guó)勛;陳斌;;F-時(shí)態(tài)命題邏輯中的歸結(jié)原理[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

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

3 賴家俊;潘小東;徐開(kāi)俊;徐揚(yáng);;基于十八元非鏈格值命題邏輯L_(18)P(X)中的歸結(jié)方法的研究[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

4 吳堅(jiān);;關(guān)于假言命題的真假問(wèn)題的思考[A];1998年邏輯研究專輯[C];1998年

5 張家鋒;徐揚(yáng);;格值命題邏輯LP(X)中的語(yǔ)義歸結(jié)方法[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

6 戴細(xì)華;;邏輯系統(tǒng)中的語(yǔ)義博弈[A];2007年現(xiàn)代邏輯與邏輯史研討會(huì)論文集[C];2007年

7 許滌非;;二重命題邏輯系統(tǒng)■_(T4)[A];2001年邏輯研究專輯[C];2001年

8 張清宇;;極小的弗協(xié)調(diào)U、S時(shí)態(tài)命題邏輯[A];邏輯、語(yǔ)言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

9 莫紹揆;;傳統(tǒng)邏輯與數(shù)理邏輯[A];邏輯學(xué)文集[C];1978年

相關(guān)重要報(bào)紙文章 前1條

1 佟芳;首屆生命基因高峰論壇舉行[N];科技日?qǐng)?bào);2009年

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

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

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

1 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍?huà)[D];陜西師范大學(xué);2008年

2 劉小山;基本命題邏輯的模態(tài)擴(kuò)張[D];西南大學(xué);2014年

3 黃沖;組合優(yōu)化中的命題邏輯[D];華中科技大學(xué);2011年

4 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

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

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

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

8 楊狀;命題邏輯假說(shuō)擴(kuò)充生成算法及其應(yīng)用研究[D];大連海事大學(xué);2014年

9 折延宏;若干經(jīng)典命題邏輯問(wèn)題的拓?fù)淇坍?huà)[D];陜西師范大學(xué);2007年

10 李麗;模糊時(shí)序命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年

本文編號(hào)：2802752