可定义的推导关系  

作　　者：张玉平[1] 

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

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

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

摘　　要：证明了有限多扩充性质蕴涵布尔可表达性质 ,当每个集合都没有多扩充时 ,推导关系也是Boole可表达的 .缺省推理中的定义方式可以推广为更广泛的定义模式 ,此模式所定义的推导关系仍然具有上述性质 .应用模型论中关于可定义性、无原子Boole代数等技术证明上述结论 .

关 键 词：谓词逻辑 缺省推理 模型论 可定义性 BOOLE代数 

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