期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

可定义的推导关系

原文传递

导出

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

作者张玉平

机构地区北京航空航天大学计算机系

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

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

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

分类号 O141.4 [理学—基础数学] TP301.4 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献1

1Chang C C，Model Theory，1973年

1吴茂康.缺省理论的简化[J].计算机学报,1991,14(12):942-945.
2吴茂康.缺省推理中的三个定理[J].计算机学报,1991,14(8):624-628. 被引量：2
3范仲春.对Etherington并行网络推理算法不完整性问题的探讨[J].软件学报,1994,5(2):43-47. 被引量：1
4陈世福,潘金贵,徐殿祥.一种缺省推理方法及其应用[J].软件学报,1992,3(4):32-36. 被引量：2
5高雅卿.可能性理论与缺省推理[J].微电子学与计算机,1991,8(9):36-40.
6王柠,刘国华,石丹妮.基于指纹和推导模型的泄密信息检测方案[J].燕山大学学报,2012,36(6):511-518.
7沈云付.树的一阶可定义分层[J].中国科学（E辑）,1996,26(2):155-166.
8唐梓洲.复投影空间和四元数投影空间的切丛的不可扩充性[J].科学通报,1993,38(6):484-486.
9姜云飞.利用格论研究缺省推理[J].计算机学报,1993,16(2):81-88. 被引量：1
10吴茂康.规范缺省理论的简化[J].上海科技大学学报,1991,14(2):45-50.

中国科学（E辑）

1998年第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部