理想状态下泛逻辑的形式演绎系统β

摘要：

本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统β.讨论了商代数[F]的性质.进一步证明了形式演绎系统β与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的.

关键词：泛逻辑、形式演绎系统β、可证等价关系

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60273087;北京市自然科学基金4032009

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

页数：共4页

页码：95-98