任意公理系统的依赖基

摘要：

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

关键词：值依赖、公理系统、依赖基、诱导背景

所属期刊栏目：40

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金61074130

在线出版日期：2013-03-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：200-205