通过演绎方式得概称句推理的逻辑

摘要：

基于[4]中的逻辑系统 G,本文通过删减和增加公理及规则给出3个逻辑G0,GD 和 GS,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义.其中,G0是 GD 和 GS 的基础.这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理.

机标关键词：概称句推理、局部推理、选择函数、模型定义、逻辑系统、是为了

分类号：B81;TP18;TP391

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

页码：13-26