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

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

【共引文獻】

相關期刊論文 前1條

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

相關碩士學位論文 前1條

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

【相似文獻】

相關期刊論文 前10條

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

2 滕定明;;命題邏輯在語用研究中的應用[J];河北理工大學學報(社會科學版);2008年03期

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

4 張勝禮;;中介命題邏輯一種改進的無窮值語義模型[J];興義民族師范學院學報;2011年01期

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

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

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

8 陶景侃;;法律命題邏輯的元邏輯[J];蘭州大學學報;1988年03期

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

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

相關會議論文 前9條

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

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

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

4 吳堅;;關于假言命題的真假問題的思考[A];1998年邏輯研究專輯[C];1998年

5 張家鋒;徐揚;;格值命題邏輯LP(X)中的語義歸結方法[A];中國運籌學會模糊信息與模糊工程分會第五屆學術年會論文集[C];2010年

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

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

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

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

相關重要報紙文章 前1條

1 佟芳;首屆生命基因高峰論壇舉行[N];科技日報;2009年

相關博士學位論文 前1條

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

相關碩士學位論文 前10條

1 高菲菲;多值命題邏輯中若干邏輯理論的拓撲刻畫[D];陜西師范大學;2008年

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

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

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

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

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

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

8 楊狀;命題邏輯假說擴充生成算法及其應用研究[D];大連海事大學;2014年

9 折延宏;若干經(jīng)典命題邏輯問題的拓撲刻畫[D];陜西師范大學;2007年

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

本文編號：2802752