REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/9229
Tytuł: On Fuzzy Negations Generated by Fuzzy Implications
Autorzy: Grabowski, Adam
Słowa kluczowe: fuzzy set
fuzzy negation
fuzzy implicati
Data wydania: 2020
Data dodania: 16-cze-2020
Wydawca: DeGruyter Open
Źródło: Formalized Mathematics, Volume 28, Issue 1, Pages 121-128
Abstrakt: We continue in the Mizar system [2] the formalization of fuzzy implications according to the book of Baczynski and Jayaram “Fuzzy Implications” [1]. In this article we define fuzzy negations and show their connections with previously defined fuzzy implications [4] and [5] and triangular norms and conorms [6]. This can be seen as a step towards building a formal framework of fuzzy connectives [10]. We introduce formally Sugeno negation, boundary negations and show how these operators are pointwise ordered. This work is a continuation of the development of fuzzy sets [12], [3] in Mizar [7] started in [11] and partially described in [8]. This submission can be treated also as a part of a formal comparison of fuzzy and rough approaches to incomplete or uncertain information within the Mizar Mathematical Library [9].
Afiliacja: Institute of Informatics, University of Białystok, Poland
URI: http://hdl.handle.net/11320/9229
DOI: 10.2478/forma-2020-0011
ISSN: 1426-2630
e-ISSN: 1898-9934
metadata.dc.identifier.orcid: 0000-0001-5026-3990
Typ Dokumentu: Article
metadata.dc.rights.uri: http://creativecommons.org/licenses/by-sa/3.0/pl/
Występuje w kolekcji(ach):Artykuły naukowe (IInf)
Formalized Mathematics, 2020, Volume 28, Issue 1

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma_2020_28_01_0011.pdf257,37 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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