DocumentCode
3087994
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
fYear
1991
fDate
26-29 May 1991
Firstpage
72
Lastpage
79
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location
Victoria, BC
Print_ISBN
0-8186-2145-1
Type
conf
DOI
10.1109/ISMVL.1991.130708
Filename
130708
Link To Document