REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/6298
Tytuł: Formal Introduction to Fuzzy Implications
Autorzy: Grabowski, Adam
Słowa kluczowe: fuzzy implication
fuzzy set
fuzzy logic
Data wydania: 2017
Data dodania: 8-lut-2018
Wydawca: DeGruyter Open
Źródło: Formalized Mathematics, Volume 25, Issue 3, Pages 241–248
Abstrakt: SummaryIn 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).
Afiliacja: Institute of Informatics, University of Białystok, Poland
URI: http://hdl.handle.net/11320/6298
DOI: 10.1515/forma-2017-0023
ISSN: 1426-2630
e-ISSN: 1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Artykuły naukowe (WMiI)
Formalized Mathematics, 2017, Volume 25, Issue 3

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2017-0023.pdf287,94 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons