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

摘要：

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

关键词：命题联结词、波兰表示法、括号表示法、独立性、公理系统

所属期刊栏目：33

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金重点项目“提高国民逻辑素质的理论和实践探索研究”13AZX019;国家社会科学基金重大项目“应用逻辑与逻辑应用研究”14ZDB014

在线出版日期：2019-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：7-12