摘要
研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.
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.
出处
《东北师大学报（自然科学版）》
CAS
CSCD
北大核心
2004年第4期38-44,共7页
Journal of Northeast Normal University(Natural Science Edition)
基金
国家自然科学基金资助项目(40202030
60275002
69903005)
香港王宽诚教育基金资助项目
澳大利亚访问学者基金资助项目
欧盟
英国工程课题
博士点基金资助项目
地质行业科学技术发展基金资助项目.
关键词
抽象
约束
算子逻辑
公理系统
自然演绎
abstraction
constraint
operator logic
axiomatic system
natural deduction
