REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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

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/6298
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorGrabowski, Adam-
    dc.date.accessioned2018-02-08T08:13:54Z-
    dc.date.available2018-02-08T08:13:54Z-
    dc.date.issued2017-
    dc.identifier.citationFormalized Mathematics, Volume 25, Issue 3, Pages 241–248-
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/6298-
    dc.description.abstractSummaryIn 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).-
    dc.language.isoen-
    dc.publisherDeGruyter Open-
    dc.subjectfuzzy implication-
    dc.subjectfuzzy set-
    dc.subjectfuzzy logic-
    dc.titleFormal Introduction to Fuzzy Implications-
    dc.typeArticle-
    dc.identifier.doi10.1515/forma-2017-0023-
    dc.description.AffiliationInstitute of Informatics, University of Białystok, Poland-
    dc.description.referencesMichał Baczyński and Balasubramaniam Jayaram. Fuzzy Implications. Springer Publishing Company, Incorporated, 2008. doi:10.1007/978-3-540-69082-5.-
    dc.description.referencesAdam Grabowski. Basic formal properties of triangular norms and conorms. Formalized Mathematics, 25(2):93–100, 2017. doi:10.1515/forma-2017-0009.-
    dc.description.referencesAdam Grabowski. The formal construction of fuzzy numbers. Formalized Mathematics, 22(4):321–327, 2014. doi:10.2478/forma-2014-0032.-
    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.-
    dc.description.referencesAdam Grabowski. Lattice theory for rough sets – a case study with Mizar. Fundamenta Informaticae, 147(2–3):223–240, 2016. doi:10.3233/FI-2016-1406.-
    dc.description.referencesAdam Grabowski and Magdalena Jastrzębska. Rough set theory from a math-assistant perspective. In Rough Sets and Intelligent Systems Paradigms, International Conference, RSEISP 2007, Warsaw, Poland, June 28–30, 2007, Proceedings, pages 152–161, 2007. doi:10.1007/978-3-540-73451-2_17.-
    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.-
    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.-
    dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.-
    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.-
    dc.description.referencesZdzisław Pawlak. Rough sets. International Journal of Parallel Programming, 11:341–356, 1982. doi:10.1007/BF01001956.-
    dc.description.referencesLotfi Zadeh. Fuzzy sets. Information and Control, 8(3):338–353, 1965.-
    dc.identifier.eissn1898-9934-
    dc.description.volume25-
    dc.description.issue3-
    dc.description.firstpage241-
    dc.description.lastpage248-
    dc.identifier.citation2Formalized Mathematics-
    Występuje w kolekcji(ach):Artykuły naukowe (WInf)
    Formalized Mathematics, 2017, Volume 25, Issue 3

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


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