A formal semantical approach to fuzzy logic

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI:10.1109/ISMVL.1991.130708

L. Godo, F. Esteva, P. Garcia-Calvés, J. Agustí-Cullell

引用次数: 12

Abstract

A formal semantical approach to fuzzy logic is given, formalizing it as a family of institutions. In this frame the soundness of the most-used inference patterns in fuzzy logic is proved. The authors believe that this formalization of fuzzy logic can be used to prove the soundness of other inference patterns such as the principle of resolution or the chaining inference rule.<>

查看原文本刊更多论文

模糊逻辑的形式化语义方法

给出了模糊逻辑的形式化语义方法，将其形式化为一组制度。在这个框架中，证明了模糊逻辑中最常用的推理模式的合理性。作者认为，这种模糊逻辑的形式化可以用来证明其他推理模式的正确性，如解析原则或链式推理规则。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量