复合谓词的逻辑系统

摘要：

@@有两类不同的谓词：性质谓词和类谓词。一阶逻辑把两者都作为类谓词来处理，有时是不合适的。本文在一阶逻辑的基础上，区别性质谓词与类谓词，构造更为精细的逻辑系统。并对由此产生的问题作一些简单的讨论。...

机标关键词：谓词、一阶逻辑、逻辑系统、区别性、基础、构造、处理

所属期刊栏目：16

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

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

页数：共5页

页码：14-18