R-演算中若干问题的研究

摘要：

李未教授提出了R-演算系统,它是形式理论的修正演算系统,是OPEN过程模式和GUINA过程模式的基础.R-演算在这2种过程模式中的核心作用是,当一个形式理论与事实产生矛盾时,找出矛盾的必要前提,从而获得一个协调的子理论.通过3种不同的方法细致刻画R-演算的基本概念“必要前提”,第1种方法来自R-演算,第2种方法基于极大协调子集与极小非协调子集的,最后一种方法是对于R-必要前提的归纳定义.通过比较这3种方法,指出各自的优缺点,并从第3种方法推演出一个可靠并且相对完全的系统.在比较这3种方法的同时,还细致地探讨了R-终止式的上下界以及极大协调子集的不可枚举性.其中极大协调的不可枚举性在一定程度上表明了不存在一种同时满足可靠并且完全的系统.

关键词：R-演算、R-终止集、极大协调子集、递归可枚举性、可靠性与完全性、R′-演算

所属期刊栏目：49

分类号：O141;TP311.5(数理逻辑、数学基础)

资助基金：江苏省自然科学基金项目BK2010374;软件开发环境国家重点实验室开放课题基金项目BUAA-SKISDE-09KF-02

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

页数：共6页

页码：833-838