Have a personal or library account? Click to login
Basic Formal Properties of Triangular Norms and Conorms Cover

Basic Formal Properties of Triangular Norms and Conorms

Formalized Mathematics
Volume 25 (2017): Issue 2 (July 2017)
By:
Open Access
|Sep 2017

References

  1. [1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, <em>Intelligent Computer Mathematics</em>, volume 9150 of <em>Lecture Notes in Computer Science</em>, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:<a href="https://doi.org/10.1007/978-3-319-20615-817." target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/978-3-319-20615-817.</a><pub-id pub-id-type="doi"><a href="https://doi.org/10.1007/978-3-319-20615-817" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/978-3-319-20615-817</a></pub-id>
    Open DOISearch in Google ScholarBack to article
  2. [2] Didier Dubois and Henri Prade. <em>Fuzzy Sets and Systems: Theory and Applications</em>. Academic Press, New York, 1980.
    Search in Google ScholarBack to article
  3. [3] Adam Grabowski. The formal construction of fuzzy numbers. <em>Formalized Mathematics</em>, 22(<bold>4</bold>):321–327, 2014. doi: <a href="https://doi.org/10.2478/forma-2014-0032." target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.2478/forma-2014-0032.</a><pub-id pub-id-type="doi"><a href="https://doi.org/10.2478/forma-2014-0032" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.2478/forma-2014-0032</a></pub-id>
    Open DOISearch in Google ScholarBack to article
  4. [4] Adam Grabowski. On the computer-assisted reasoning about rough sets. In B. Dunin-Kȩplicz, A. Jankowski, A. Skowron, and M. Szczuka, editors, <em>International Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems Location</em>, volume 28 of <em>Advances in Soft Computing</em>, pages 215–226, Berlin, Heidelberg, 2005. Springer-Verlag. doi: <a href="https://doi.org/10.1007/3-540-32370-815." target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/3-540-32370-815.</a><pub-id pub-id-type="doi"><a href="https://doi.org/10.1007/3-540-32370-815" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/3-540-32370-815</a></pub-id>
    Open DOISearch in Google ScholarBack to article
  5. [5] Adam Grabowski. Efficient rough set theory merging. <em>Fundamenta Informaticae</em>, 135(4): 371–385, 2014. doi: <a href="https://doi.org/10.3233/FI-2014-1129." target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.3233/FI-2014-1129.</a><pub-id pub-id-type="doi"><a href="https://doi.org/10.3233/FI-2014-1129" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.3233/FI-2014-1129</a></pub-id>
    Open DOISearch in Google ScholarBack to article
  6. [6] Adam Grabowski. On the computer certification of fuzzy numbers. In M. Ganzha, L. Maciaszek, and M. Paprzycki, editors, <em>2013 Federated Conference on Computer Science and Information Systems (FedCSIS)</em>, Federated Conference on Computer Science and Information Systems, pages 51–54, 2013.
    Search in Google ScholarBack to article
  7. [7] Adam 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, <em>Artificial Intelligence and Soft Computing - 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I</em>, volume 9119 of <em>Lecture Notes in Computer Science</em>, pages 160–171. Springer, 2015. doi: <a href="https://doi.org/10.1007/978-3-319-19324-315." target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/978-3-319-19324-315.</a><pub-id pub-id-type="doi"><a href="https://doi.org/10.1007/978-3-319-19324-315" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/978-3-319-19324-315</a></pub-id>
    Open DOISearch in Google ScholarBack to article
  8. [8] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. <em>Journal of Automated Reasoning</em>, 55(3):191–198, 2015. doi: <a href="https://doi.org/10.1007/s10817-015-9345-1." target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/s10817-015-9345-1.</a><dgdoi:pub-id xmlns:dgdoi="http://degruyter.com/resources/doi-from-crossref" pub-id-type="doi"><a href="https://doi.org/10.1007/s10817-015-9345-1" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/s10817-015-9345-1</a></dgdoi:pub-id>
    Search in Google ScholarBack to article
  9. [9] Petr Hájek. <em>Metamathematics of Fuzzy Logic</em>. Dordrecht: Kluwer, 1998.<dgdoi:pub-id xmlns:dgdoi="http://degruyter.com/resources/doi-from-crossref" pub-id-type="doi"><a href="https://doi.org/10.1007/978-94-011-5300-3" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/978-94-011-5300-3</a></dgdoi:pub-id>
    Search in Google ScholarBack to article
  10. [10] Erich Peter Klement, Radko Mesiar, and Endre Pap. <em>Triangular Norms</em>. Dordrecht: Kluwer, 2000.<dgdoi:pub-id xmlns:dgdoi="http://degruyter.com/resources/doi-from-crossref" pub-id-type="doi"><a href="https://doi.org/10.1007/978-94-015-9540-7" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1007/978-94-015-9540-7</a></dgdoi:pub-id>
    Search in Google ScholarBack to article
  11. [11] Takashi Mitsuishi, Noboru Endou, and Yasunari Shidama. The concept of fuzzy set and membership function and basic properties of fuzzy set operation. <em>Formalized Mathematics</em>, 9(<bold>2</bold>):351–356, 2001.
    Search in Google ScholarBack to article
  12. [12] Takashi Mitsuishi, Katsumi Wasaki, and Yasunari Shidama. Basic properties of fuzzy set operation and membership function. <em>Formalized Mathematics</em>, 9(<bold>2</bold>):357–362, 2001.
    Search in Google ScholarBack to article
  13. [13] Lotfi Zadeh. Fuzzy sets. <em>Information and Control</em>, 8(3):338–353, 1965.<pub-id pub-id-type="doi"><a href="https://doi.org/10.1016/S0019-9958(65)90241-X" target="_blank" rel="noopener noreferrer" class="text-signal-blue hover:underline">10.1016/S0019-9958(65)90241-X</a></pub-id>
    Open DOISearch in Google ScholarBack to article
DOI: https://doi.org/10.1515/forma-2017-0009 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 93 - 100
Submitted on: Jun 27, 2017
Published on: Sep 23, 2017
Published by: University of Bialystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 times per year
Keywords:
fuzzy set,
triangular norm,
triangular conorm,
fuzzy logic
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2017 Adam Grabowski, published by University of Bialystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Previous articleVolume 25 (2017): Issue 2 (July 2017)Next article