REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2020, Volume 28, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/9229
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorGrabowski, Adam-
    dc.date.accessioned2020-06-16T10:01:00Z-
    dc.date.available2020-06-16T10:01:00Z-
    dc.date.issued2020-
    dc.identifier.citationFormalized Mathematics, Volume 28, Issue 1, Pages 121-128pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/9229-
    dc.description.abstractWe 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].pl
    dc.language.isoenpl
    dc.publisherDeGruyter Openpl
    dc.rightsUznanie autorstwa-Na tych samych warunkach 3.0 Polska*
    dc.rights.urihttp://creativecommons.org/licenses/by-sa/3.0/pl/*
    dc.subjectfuzzy setpl
    dc.subjectfuzzy negationpl
    dc.subjectfuzzy implicatipl
    dc.titleOn Fuzzy Negations Generated by Fuzzy Implicationspl
    dc.typeArticlepl
    dc.identifier.doi10.2478/forma-2020-0011-
    dc.description.AffiliationInstitute of Informatics, University of Białystok, Polandpl
    dc.description.referencesMichał Baczynski and Balasubramaniam Jayaram. Fuzzy Implications. Springer Publishing Company, Incorporated, 2008. doi:10.1007/978-3-540-69082-5.pl
    dc.description.referencesGrzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.pl
    dc.description.referencesDidier Dubois and Henri Prade. Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York, 1980.pl
    dc.description.referencesAdam Grabowski. Formal introduction to fuzzy implications. Formalized Mathematics, 25(3):241–248, 2017. doi:10.1515/forma-2017-0023.pl
    dc.description.referencesAdam Grabowski. Fundamental properties of fuzzy implications. Formalized Mathematics, 26(4):271–276, 2018. doi:10.2478/forma-2018-0023.pl
    dc.description.referencesAdam Grabowski. Basic formal properties of triangular norms and conorms. Formalized Mathematics, 25(2):93–100, 2017. doi:10.1515/forma-2017-0009pl
    dc.description.referencesAdam Grabowski. On the computer certification of fuzzy numbers. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Federated Conference on Computer Science and Information Systems, pages 51–54, 2013.pl
    dc.description.referencesAdam Grabowski and Takashi Mitsuishi. Extending Formal Fuzzy Sets with Triangular Norms and Conorms, volume 642: Advances in Intelligent Systems and Computing, pages 176–187. Springer International Publishing, Cham, 2018. doi:10.1007/978-3-319-66824-6_16.pl
    dc.description.referencesAdam Grabowski and Takashi Mitsuishi. Initial comparison of formal approaches to fuzzy and rough sets. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, and Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing – 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I, volume 9119 of Lecture Notes in Computer Science, pages 160–171. Springer, 2015. doi:10.1007/978-3-319-19324-3_15.pl
    dc.description.referencesPetr Hájek. Metamathematics of Fuzzy Logic. Dordrecht: Kluwer, 1998.pl
    dc.description.referencesTakashi Mitsuishi, Noboru Endou, and Yasunari Shidama. The concept of fuzzy set and membership function and basic properties of fuzzy set operation. Formalized Mathematics, 9(2):351–356, 2001.pl
    dc.description.referencesLotfi Zadeh. Fuzzy sets. Information and Control, 8(3):338–353, 1965. doi:10.1016/S0019-9958(65)90241-X.pl
    dc.identifier.eissn1898-9934-
    dc.description.firstpage121pl
    dc.description.lastpage128pl
    dc.identifier.citation2Formalized Mathematicspl
    dc.identifier.orcid0000-0001-5026-3990-
    Występuje w kolekcji(ach):Artykuły naukowe (WInf)
    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ż uproszczony widok rekordu Zobacz statystyki


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