不用联结词的经典命题逻辑系统

【相似文献】

相关期刊论文 前10条

1 樊明亚,朱小阳;师专逻辑教材改革研究[J];中国大学教学;1999年06期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

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

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

3 冯棉;;逻辑推理中的相干性[A];第三次金岳霖学术思想研讨会论文集[C];2005年

4 蔡曙山;;语用逻辑研究[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 张清宇;;弗协调逻辑系统Zn和ZnUS[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

6 田心军;;关于选言判断联结词的语言表达问题——与且大有教授商榷[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

7 吴坚;;论“或者"与“两可说"[A];1997年逻辑研究专辑[C];1997年

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

9 李立锋;;K-SEQ语义下经典定理的真值与“真”概念[A];1998年逻辑研究专辑[C];1998年

10 刘奋荣;;缺省逻辑如何研究非单调推理？[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

相关博士学位论文 前1条

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

相关硕士学位论文 前10条

1 郭静;联结词“或者”的逻辑分析[D];湘潭大学;2008年

2 史t，

本文编号：2146963