一种泛逻辑代数系统

发布时间：2019-07-19 10:24

【摘要】：文[3]给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统B,证明了此系统是可靠的。该文提出理想状态下(h=k=0.5)泛逻辑学对应的代数系统-UB代数,给出它的一系列性质。证明了UB代数是一个交换剩余半群;进一步证明了U B代数与M V代数、正规FI代数是等价的。
[Abstract]:In [3], the formal deductive system B of universal logic under ideal state (generalized correlation coefficient h 鈮，

本文编号：2516251