可计算性逻辑中CL4系统定理证明

摘要：

可计算性逻辑的形式系统CLA具有强大的表达能力和很好的应用前景，为了进一步完善其理论基础，采用严格的逻辑方法，对该系统中的相关重要定理进行证明。证明过程及其结果显示，该系统中的一般原子表示一般的可计算性问题，在意义上有别于经典逻辑中的原子。

关键词：可计算性逻辑、CL4系统、定理证明

所属期刊栏目：16

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

资助基金：陕西省教育厅科研计划基金资助项目09JK722

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

页数：共4页

页码：80-82,97