一种泛逻辑代数系统

作者：罗敏霞; 何华灿ub代数剩余半群fi代数mv代数

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社