论正规命题逻辑的析取性质（英文）

发布时间：2020-08-24 19:35

【摘要】：析取性质是一个逻辑的构造性特征的重要体现。严格蕴涵命题逻辑(正规命题逻辑)是正规模态逻辑的严格蕴涵片段。本文研究了正规命题逻辑的析取性质,运用K leene slash给出了析取性质的纯句法刻画条件。对于带有持续性公理的正规命题逻辑,本文给出了其析取性质的一个充分的语义条件。

【共引文献】

相关期刊论文 前1条

1 何文X;马明辉;;弱连通传递框架类的命题逻辑[J];逻辑学研究;2013年04期

相关硕士学位论文 前1条

1 何文X;弱连通传递框架类的基本命题逻辑研究[D];西南大学;2014年

【相似文献】

相关期刊论文 前10条

1 陈志美,胡泽洪;斯多葛学派的命题逻辑系统及其不完全性[J];华南师范大学学报(社会科学版);2001年01期

2 滕定明;;命题逻辑在语用研究中的应用[J];河北理工大学学报(社会科学版);2008年03期

3 金樊;;推理有效性的判定方法及其特点比较——以命题逻辑为例[J];长春工程学院学报(社会科学版);2010年02期

4 张胜礼;;中介命题逻辑一种改进的无穷值语义模型[J];兴义民族师范学院学报;2011年01期

5 郝玲;;命题逻辑的推理方法[J];山西财经大学学报;2012年S1期

6 薛彩霞;;非形式化的命题逻辑和谓词逻辑有效性判定方法之比较分析[J];才智;2012年22期

7 张建成;苏连塔;;命题逻辑系统理论(广义)根性质及应用[J];山东大学学报(工学版);2013年04期

8 陶景侃;;法律命题逻辑的元逻辑[J];兰州大学学报;1988年03期

9 陶景侃;用法律的观点评价现代规范逻辑[J];兰州学刊;1997年03期

10 朱小阳;;联言命题逻辑值的真与语义的恰当之关系探析[J];江西社会科学;2006年01期

相关会议论文 前9条

1 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年

2 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

3 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年

4 吴坚;;关于假言命题的真假问题的思考[A];1998年逻辑研究专辑[C];1998年

5 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

6 戴细华;;逻辑系统中的语义博弈[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

7 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年

8 张清宇;;极小的弗协调U、S时态命题逻辑[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 莫绍揆;;传统逻辑与数理逻辑[A];逻辑学文集[C];1978年

相关重要报纸文章 前1条

1 佟芳;首届生命基因高峰论坛举行[N];科技日报;2009年

相关博士学位论文 前1条

1 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

相关硕士学位论文 前10条

1 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

2 刘小山;基本命题逻辑的模态扩张[D];西南大学;2014年

3 黄冲;组合优化中的命题逻辑[D];华中科技大学;2011年

4 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

5 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

6 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

7 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

8 杨状;命题逻辑假说扩充生成算法及其应用研究[D];大连海事大学;2014年

9 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

10 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年

本文编号：2802752