弱连通传递框架类的命题逻辑

发布时间：2020-08-25 10:46

【摘要】：在维瑟(Albert Visser)的基本命题逻辑(BPL)基础上增加公理(p→q)∨((p→q)→p)得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特(M.Dummett)公理(p→q)∨(q→p)得到的逻辑LD是不完全的。本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质。

【相似文献】

相关期刊论文 前10条

1 孙丽娜;;从“论式”看因明的逻辑性质[J];黔南民族师范学院学报;2008年01期

2 张源;有些同志是赞成选赵明的[J];思维与智慧;1985年04期

3 宫凯峰;复合直言推理刍议[J];齐齐哈尔大学学报(哲学社会科学版);1996年02期

4 许艳芳;;试论回溯推理[J];保定师范专科学校学报;2006年01期

5 刘新文;;函数完备性问题[J];重庆理工大学学报(社会科学);2011年08期

6 杜珊;;NExtK4中濒表格逻辑研究回顾[J];计算机科学与探索;2010年12期

7 李小虎;论关系命题的逻辑性质[J];齐鲁学刊;2001年01期

8 刘志杰;;试论假言判断的运用与表达[J];中国校外教育;2010年10期

9 马明辉;;分次模态传递框架类(英文)[J];逻辑学研究;2010年02期

10 诸葛殷同;;对传统逻辑的有力挑战——评《经典逻辑与直觉主义逻辑》[J];哲学动态;1990年04期

相关会议论文 前10条

1 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

2 张清宇;;以广义析舍为初始符号的经典命题逻辑系统[A];1997年逻辑研究专辑[C];1997年

3 陈晓平;;谈谈实质蕴涵问题[A];1997年逻辑研究专辑[C];1997年

4 崔清田;;三支作法与三段论辨析[A];因明研究[C];1990年

5 熊明;;古典命题演算的直觉主义语义分析[A];2000年逻辑研究专辑[C];2000年

6 郑伟宏;;“因三相”正本清源[A];2003年逻辑研究专辑[C];2003年

7 刘壮虎;;自指性命题的逻辑构造[A];1993年逻辑研究专辑[C];1993年

8 孙中原;;墨家逻辑是求真工具[A];2000年逻辑研究专辑[C];2000年

9 刘明明;;推类的逻辑性质——基于“类同理同”观念的分析[A];“回顾与前瞻：中国逻辑史研究30年”全国学术研讨会论文集[C];2010年

10 张宝文;;论关系判断[A];全国逻辑讨论会论文选集[C];1979年

相关博士学位论文 前3条

1 张立娜;个体词的逻辑语义[D];清华大学;2007年

2 姚志强;演绎推理中信念偏差效应的研究[D];南京师范大学;2005年

3 冯彦波;合并逻辑方法研究[D];南开大学;2010年

相关硕士学位论文 前10条

1 张保垒;表列演算探究[D];华东师范大学;2011年

2 刘华宇;McKinsey公理及其相关系统研究[D];南京大学;2013年

3 张蕴;墨家推类学说与亚里士多德三段论的比较研究[D];西南大学;2007年

4 程娜;论维提布萨那的陈那因明思想研究[D];复旦大学;2008年

5 倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年

6 孙丽娜;言语交际中的语用推理述评[D];燕山大学;2009年

7 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年

8 任贵龙;达米特反应在论的逻辑观及其意义[D];山西大学;2013年

9 李峰;论陈那因明的逻辑体系[D];复旦大学;2010年

10 王晓亮;周礼全自然语言逻辑思想研究[D];燕山大学;2011年

本文编号：2803607