EQ-代数相关论文
EQ-代数是高阶模糊逻辑对应的真值代数结构,BCI-代数是组合逻辑中BCI-系统的代数表述,伪BCI-代数是BCI-代数的非可换推广.本文分别......
型理论（Type theory）是一种高阶逻辑,而模糊型理论（Fuzzy type theory）则是型理论模糊化的结果.模糊型理论成为一类高阶模糊逻辑.最初,......
型理论是高阶逻辑,模糊型理论是对型理论模糊化的结果.因此,模糊型理论是高阶模糊逻辑.EQ-代数是高阶模糊逻辑所对应的真值代数结......
摘要超代数系统理论和模糊类型理论均具有计算机科学与纯粹数学的双重研究背景,其中超代数理论在纯粹数学和应用数学的许多方面都......
EQ-代数是一种重要的逻辑代数,它与剩余格有密切的关系,但也存在本质的差别,研究EQ-代数对经典逻辑和模糊逻辑有重要意义.本文以EQ......
众所周知,模糊型理论是型理论的一般化.作为模糊型理论相对应的真值代数结构V.Novak在2006年最先提出了EQ-代数.它是比剩余格更一......
EQ-代数作为一种逻辑代数,它与剩余格密切相关,但EQ-代数在本质上对研究模糊逻辑有着十分重要的意义.文章运用水平截集的方法将EQ-......
众所周知,模糊逻辑已近成为用计算机处理不确定信息的重要工具. 型理论是一种高阶逻辑,而模糊型理论则是高阶逻辑模糊化的结果.从......
