文章摘要
不用联结词的“舍…取…”型 自然推演系统
  
DOI:
中文关键词: “舍…取…”型联结词  括号表示法  量词  自然推理系统
英文关键词: 
基金项目:国家社会科学基金重点项目(13AZX019), 国家社会科学基金重大招标项目(14ZDB014)
作者单位
杜国平 中国社会科学院 哲学研究所北京 100732 
摘要点击次数: 1837
全文下载次数: 1292
中文摘要:
      “不…而…”(“舍…取…”)是汉语常用的一个二元联结词,在形式语言中可以不用联结词,直接使用括号来表达“不…而…”(“舍…取…”)的语法功能。在括号表示法的形式语言中,“( )”有既有结构性功能,也有联结词功能,还有量词功能。基于纯粹的括号表示法,建立了以“舍…取…”作为初始联结词的命题逻辑自然推理系统Z1和一阶自然推理系统QZ1,它们与通常的命题逻辑系统和一阶系统等价,具有可靠性和完全性。
英文摘要:
      
查看全文   查看/发表评论  下载PDF阅读器
关闭