L. Godo, F. Esteva, P. Garcia-Calvés, J. Agustí-Cullell
{"title":"A formal semantical approach to fuzzy logic","authors":"L. Godo, F. Esteva, P. Garcia-Calvés, J. Agustí-Cullell","doi":"10.1109/ISMVL.1991.130708","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"68 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.1991.130708","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
