关于“不用联结词的逻辑系统”的注记

发布时间：2021-09-18 08:45

　　张清宇先生在20世纪90年代创建了不用联结词的逻辑系统,在其中使用括号表达命题联结词和量词的功能,这是一项逻辑符号技术的创新性工作。波兰表示法和括号表示法是逻辑符号表示法的两个相互映衬的典范。在括号表示法中,"不用联结词"指的仅仅是语形层面上的,而不是语义层面上的。基于括号表示法的命题逻辑公理系统H和一阶逻辑系统QH都可以进一步简化。 

【文章来源】：重庆理工大学学报(社会科学). 2019,33(04)

【文章页数】：6 页

【文章目录】：
一、括号表示法
二、0元联结词
三、独立性
四、纯粹括号表示法


【参考文献】：
期刊论文
[1]不用联结词和量词的一阶逻辑系统[J]. 张清宇.  哲学研究. 1996(05)
[2]不用联结词的经典命题逻辑系统[J]. 张清宇.  哲学研究. 1995(05)



本文编号：3399836