维勒姆诺瓦克 基于EQ代数的模糊类型理论及其扩展。 （英文） Zbl 1243.03034号 日志。J.IGPL公司 第3511-542号第19页（2011年）. 摘要：我们引入了一个新的代数，称为“EQ代数”，它是形式模糊逻辑真值的替代代数。它是通过用模糊等式替换蕴涵作为主操作来指定的。也就是说，EQ代数是一个半格，具有模糊等式的二元运算和乘法的二元运算。蕴涵是从模糊等式导出的，它不是关于乘法的残差。因此，EQ代数与剩余格重叠，但与它们不同。我们选择了一类合适的EQ代数（好的EQ代数），并发展了一种高阶模糊逻辑的形式理论，称为“基本模糊类型理论”（FTT）。我们详细地发展了它的语法和语义，并证明了一些基本性质，包括关于广义模型的完备性定理。本文还概述了FTT技术的现状。 引用于22文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 03G25号 与逻辑相关的其他代数 关键词：数学模糊逻辑;模糊类型理论;EQ代数;剩余格 软件：ETPS公司;测试程序集 PDF格式BibTeX公司 XML格式引用 \textit{V.Novák}，日志。J.IGPL 19，第3期，512--542（2011；Zbl 1243.03034） 全文： 内政部