任意公理系统的依赖基

摘要：

形式化定义了值依赖的公理、公理系统及依赖基.严格证明了任何公理系统对任何背景都具有依赖基,给出了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一.进而提出了一种诱导背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来.

关键词： Value dependency Axiomatic system Dependency basis Inducement context

作者: 马垣

作者单位: 辽宁科技大学软件学院 鞍山114051

会议类型: 国内会议

会议名称: 第十二届中国Rough集与软计算学术会议、第六届中国Web智能学术研讨会及第六届中国粒计算学术研讨会联合学术会议

会议地点: 合肥

会议语种:中文

页码: 22-22

在线出版日期: 2012-10-13（万方平台首次上网日期，不代表论文的发表时间）