Title :
A formal semantical approach to fuzzy logic
Author :
Godo, L. ; Esteva, F. ; Garcia, P. ; Agustí-Cullell, J.
Author_Institution :
Centre d´´Estudis Avancats de Blanes, Spain
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
Keywords :
fuzzy logic; inference mechanisms; many-valued logics; chaining inference rule; formal semantical approach; fuzzy logic; institutions; most-used inference patterns; multiple-valued logics; soundness; Computer languages; Equations; Formal specifications; Fuzzy logic; Fuzzy sets; Handicapped aids; Logic programming; Proposals;
Conference_Titel :
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location :
Victoria, BC
Print_ISBN :
0-8186-2145-1
DOI :
10.1109/ISMVL.1991.130708
