10.3969/j.issn.1002-137X.2004.03.026
理想状态下泛逻辑的形式演绎系统β
本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统β.讨论了商代数[F]的性质.进一步证明了形式演绎系统β与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的.
泛逻辑、形式演绎系统β、可证等价关系
31
TP3(计算技术、计算机技术)
国家自然科学基金60273087;北京市自然科学基金4032009
2004-06-11(万方平台首次上网日期,不代表论文的发表时间)
共4页
95-98