Formal Introduction to Fuzzy Implications

• Autorzy: Adam Grabowski
• Języki publikacji: EN

Abstrakty

EN

In the article we present in the Mizar system the catalogue of nine basic fuzzy implications, used especially in the theory of fuzzy sets. This work is a continuation of the development of fuzzy sets in Mizar; it could be used to give a variety of more general operations, and also it could be a good starting point towards the formalization of fuzzy logic (together with t-norms and t-conorms, formalized previously).

Słowa kluczowe

EN

fuzzy implication; fuzzy set; fuzzy logic

Kategorie tematyczne

• 03B35: Mechanization of proofs and logical operations
• 68T37: Reasoning under uncertainty
• 03B52: Fuzzy logic; logic of vagueness

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2017
• Tom: 25
• Numer: 3
• Strony: 241-248

Daty

wydano

2017-10-01

otrzymano

2017-09-03

online

2017-12-19

Twórcy

autor

Adam Grabowski

• , ,

Identyfikatory

DOI

10.1515/forma-2017-0023