论文部分内容阅读
文【3】给出了理想状态(广义相关系数h=0．5，广义自相关系数k=0.5)下泛逻辑的形式演绎系统B，证明了此系统是可靠的。该文提出理想状态下h=k=0．5)泛逻辑学对应的代数系统-UB代数，给出它的一系列性质。证明了UB代数是一个交换剩余半群；进一步证明了UB代数与MV代数、正规FI代数是等价的。