不用联结词的"舍…取…"型 自然推演系统

摘要：

"不…而…"("舍…取…")是汉语常用的一个二元联结词,在形式语言中可以不用联结词,直接使用括号来表达"不…而…"("舍…取…")的语法功能.在括号表示法的形式语言中,"()"有既有结构性功能,也有联结词功能,还有量词功能.基于纯粹的括号表示法,建立了以"舍…取…"作为初始联结词的命题逻辑自然推理系统Z1和一阶自然推理系统QZ1,它们与通常的命题逻辑系统和一阶系统等价,具有可靠性和完全性.

关键词："舍…取…"型联结词、括号表示法、量词、自然推理系统

所属期刊栏目：22

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

资助基金：国家社会科学基金重点项目13AZX019;国家社会科学基金重大招标项目14ZDB014

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

页数：共4页

页码：21-24