理想状态下泛逻辑的形式演绎系统B的完备性

摘要：

UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统.本文引入UB代数滤子的概念,讨论了UB代数的一系列性质.证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性.

关键词：泛逻辑、形式演绎系统B、UB代数、完备性

所属期刊栏目：32

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

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

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

页数：共3页

页码：93-95