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

• 作者: 杜国平
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 命题联结词 波兰表示法 括号表示法 独立性 公理系统
• 年，卷（期）: 2019,（4）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 7-12
• 页数: 6页
• 分类号: B81
• 字数: 3973字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2019.04.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜国平	中国社会科学院哲学研究所	43	93	5.0	8.0