谓词形式系统(A)UL-h∈[0.75,1]及其可靠性

摘要：

对基于一级泛与运算的一阶谓词演算形式系统(A)UL-h∈[0.75,1]进行公理化.通过引入全称量词和存在量词,建立与命题形式系统(A)UL-h∈[0.75,1]相对应的一阶谓词形式系统V(A)UL-h∈[0.75,1]并证明该系统的可靠性定理及演绎定理.

关键词：泛逻辑、谓词演算形式系统、泛与运算

所属期刊栏目：38

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

资助基金：国家自然科学基金60273087,60575034;陕西省教育厅专项科研计划项目2010JK567;西北工业大学基础研究基金W018101

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

页数：共4页

页码：178-180,223