不用联结词和量词的一阶逻辑系统

  本文选题：一阶语言 + 联结词　； 参考：《哲学研究》1996年05期

【参考文献】

相关会议论文 前1条

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

【相似文献】

相关期刊论文 前4条

1 陈慕泽;词项周延性的一阶语言定义[J];中国人民大学学报;1997年03期

2 裘江杰;;有穷关系模型上的模态可定义[J];湖南科技大学学报(社会科学版);2013年03期

3 张清宇;不用联结词和量词的一阶逻辑系统[J];哲学研究;1996年05期

4 孔红;;判例类比推理的逻辑[J];湖北大学学报(哲学社会科学版);2013年04期

相关会议论文 前2条

1 陈慕泽;;词项周延性的一阶语言定义[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 郝兆宽;;数理逻辑中的真概念[A];1994年逻辑研究专辑[C];1994年