| 抽象算子逻辑及其自然演绎系统 |
| |
| 引用本文： | 程晓春,钟绍春,欧阳丹彤,李春生,陈庆锋,张成奇.抽象算子逻辑及其自然演绎系统[J].东北师大学报(自然科学版),2004,36(4):38-44. |
| |
| 作者姓名： | 程晓春 钟绍春 欧阳丹彤 李春生 陈庆锋 张成奇 |
| |
| 作者单位： | 东北师范大学软件学院,吉林,长春,130024;吉林大学符号计算与知识工程实验室,吉林,长春,130023;悉尼科技大学信息技术学院,悉尼,NSW2007;东北师范大学软件学院,吉林,长春,130024;吉林大学符号计算与知识工程实验室,吉林,长春,130023;悉尼科技大学信息技术学院,悉尼,NSW2007 |
| |
| 基金项目： | 国家自然科学基金资助项目(40202030，60275002，69903005)，香港王宽诚教育基金资助项目，澳大利亚访问学者基金资助项目，欧盟、英国工程课题，博士点基金资助项目，地质行业科学技术发展基金资助项目. |
| |
| 摘 要： | 研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.
|
| 关 键 词： | 抽象 约束 算子逻辑 公理系统 自然演绎 |
| 文章编号： | 1000-1832(2004)04-0038-07 |
| 修稿时间： | 2004年4月14日 |
Abstract operator logic and its natural deduction system |
| |
| CHENG Xiao-chun.Abstract operator logic and its natural deduction system[J].Journal of Northeast Normal University (Natural Science Edition),2004,36(4):38-44. |
| |
| Authors: | CHENG Xiao-chun |
| |
| Institution: | CHENG Xiao-chun~ |
| |
| Abstract: | Using operator to model constraints,this paper researches such abstract operator logic,analyzes its syntax,semantics,axiomatic system,its natural deduction system and its normalized natural deduction system,provide the theoretical foundation for constrict analysis of hierarchy system. |
| |
| Keywords: | abstraction constraint operator logic axiomatic system natural deduction |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
