Horn型推导关系  

作　　者：张玉平[1] 

机构地区：[1]北京航空航天大学计算机系,北京100083

出　　处：《中国科学（E辑）》1998年第2期153-159,共7页Science in China(Series E)

基　　金：国家自然科学基金资助项目 !(批准号 :6 94330 30 )

摘　　要：逻辑中的推导关系等同于公式之间的二元关系 ,刻画它所采用的证明规则等同于对这个二元关系所满足的条件的限制 .根据Gentzen证明论定义推导关系的方式定义一类推导关系 ,即Horn型推导关系 .应用模型论技巧 ,证明了这种推导关系并不能推广经典逻辑推导关系 .因而要定义扩充经典逻辑的非单调逻辑 ,必须在定义中采用“非”形式 .

关 键 词：模型论 非单调逻辑 Horn型推导关系 

分 类 号：O141.4[理学—数学]