相等代数相关论文
型理论是高阶逻辑,模糊型理论是对型理论模糊化的结果.因此,模糊型理论是高阶模糊逻辑.EQ-代数是高阶模糊逻辑所对应的真值代数结......
相等代数最初由S.Jenei提出,它是高阶模糊逻辑对应的逻辑代数.在非经典逻辑的研究中,modal-逻辑是一个重要分支.伪赋值理论在对逻......
相等代数自提出就引起了学者们的广泛研究,它是高阶模糊逻辑所对应的代数系统.逻辑代数的研究过程中,滤子理论扮演者重要的角色,从......
相等代数是由S.Jenei作为高阶模糊逻辑的真值代数结构而提出来的,且它来源于EQ-代数,这为模糊型理论提供了更广泛的空间.滤子理论......