On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations

[1] Michał Baczyński and Balasubramaniam Jayaram. Fuzzy Implications. Springer Publishing Company, Incorporated, 2008. doi:10.1007/978-3-540-69082-5. Search in Google Scholar

[2] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6. Search in Google Scholar

[3] Józef Drewniak. Invariant fuzzy implications. Soft Computing, 10:506–513, 2006. Search in Google Scholar

[4] Didier Dubois and Henri Prade. Fuzzy Sets and Systems: Theory and Applications. Academic Press, New York, 1980. Search in Google Scholar

[5] Adam Grabowski. Formal introduction to fuzzy implications. Formalized Mathematics, 25(3):241–248, 2017. doi:10.1515/forma-2017-0023. Search in Google Scholar

[6] Adam Grabowski. On fuzzy negations generated by fuzzy implications. Formalized Mathematics, 28(1):121–128, 2020. doi:10.2478/forma-2020-0011. Search in Google Scholar

[7] Adam Grabowski. Fuzzy implications in the Mizar system. In 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, July 11–14, 2021, pages 1–6. IEEE, 2021. doi:10.1109/FUZZ45933.2021.9494593. Search in Google Scholar

[8] Adam 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. Search in Google Scholar

[9] Adam 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. Search in Google Scholar

[10] 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, 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. Search in Google Scholar

[11] Adam Grabowski and Takashi Mitsuishi. Formalizing lattice-theoretical aspects of rough and fuzzy sets. In D. Ciucci, G. Wang, S. Mitra, and W.Z. Wu, editors, Rough Sets and Knowledge Technology – 10th International Conference held as part of the International Joint Conference on Rough Sets (IJCRS), Tianjin, PR China, November 20–23, 2015, Proceedings, volume 9436 of Lecture Notes in Artificial Intelligence, pages 347–356. Springer, 2015. doi:10.1007/978-3-319-25754-9_31. Search in Google Scholar

[12] Adam Grabowski and Christoph Schwarzweller. On duplication in mathematical repositories. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton, editors, Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings, volume 6167 of Lecture Notes in Computer Science, pages 300–314. Springer, 2010. doi:10.1007/978-3-642-14128-7_26. Search in Google Scholar

[13] Takashi Mitsuishi. Definition of centroid method as defuzzification. Formalized Mathematics, 30(2):125–134, 2022. doi:10.2478/forma-2022-0010. Search in Google Scholar

[14] Takashi Mitsuishi. Isosceles triangular and isosceles trapezoidal membership functions using centroid method. Formalized Mathematics, 31:59–66, 2023. doi:10.2478/forma-2023-0006. Search in Google Scholar

[15] Lotfi Zadeh. Fuzzy sets. Information and Control, 8(3):338–353, 1965. doi:10.1016/S0019-9958(65)90241-X. Search in Google Scholar