型理论（Type theory）是一种高阶逻辑,而模糊型理论（Fuzzy type theory）则是型理论模糊化的结果.模糊型理论成为一类高阶模糊逻辑.最初,......

型理论是高阶逻辑,模糊型理论是对型理论模糊化的结果.因此,模糊型理论是高阶模糊逻辑.EQ-代数是高阶模糊逻辑所对应的真值代数结......