可定义的推导关系
更新时间：2019-05-21
访问次数：
关键词：一阶谓词逻辑 缺省推理 模型论
发明人：张玉平
作者单位：北京航空航天大学计算机系
内容提要：证明了有限多扩充性质蕴涵布尔可表达性质 ,当每个集合都没有多扩充时 ,推导关系也是Boole可表达的 .缺省推理中的定义方式可以推广为更广泛的定义模式 ,此模式所定义的推导关系仍然具有上述性质 .应用模型论中关于可定义性、无原子Boole代数等技术证明上述结论 .
期刊名：中国科学(E辑：技术科学)
期号：第1-6期
年份：1998
页数：439-446
