References
- 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, 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.
- 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.
- Ronald E. Giachetti and Robert E. Young. A parametric representation of fuzzy numbers and their arithmetic operators. Fuzzy Sets and Systems, 91(2):185–202, 1997. doi:https://doi.org/10.1016/S0165-0114(97)00140-1. Fuzzy Arithmetic.
- Eikou Gonda, Hitoshi Miyata, and Masaaki Ohkita. Self-turning of fuzzy rules with different types of MSFs (in Japanese). Journal of Japan Society for Fuzzy Theory and Intelligent Informatics, 16(6):540–550, 2004. doi:10.3156/jsoft.16.540.
- Adam Grabowski. On fuzzy negations generated by fuzzy implications. Formalized Mathematics, 28(1):121–128, 2020. doi:10.2478/forma-2020-0011.
- 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.
- 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.
- 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.
- Tetsuro Katafuchi, Kiyoji Asai, and Hiroshi Fujita. Investigation of de uzification in fuzzy inference: Proposal of a new defuzzification method (in Japanese). Medical Imaging and Information Sciences, 18(1):19–30, 2001. doi:10.11318/mii1984.18.19.
- Ebrahim H. Mamdani. Application of fuzzy algorithms for control of simple dynamic plant. IEE Proceedings, 121:1585–1588, 1974.
- Takashi Mitsuishi. Some properties of membership functions composed of triangle functions and piecewise linear functions. Formalized Mathematics, 29(2):103–115, 2021. doi:10.2478/forma-2021-0011.
- Takashi Mitsuishi. Definition of centroid method as defuzzification. Formalized Mathematics, 30(2):125–134, 2022. doi:10.2478/forma-2022-0010.
- Masaharu Mizumoto. Improvement of fuzzy control (IV)-case by product-sum-gravity method. In Proc. 6th Fuzzy System Symposium, 1990, pages 9–13, 1990.
- Timothy J. Ross. Fuzzy Logic with Engineering Applications. John Wiley and Sons Ltd, 2010.
- Luciano Stefanini and Laerte Sorini. Fuzzy arithmetic with parametric LR fuzzy numbers. In Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, pages 600–605, 2009.
- Werner Van Leekwijck and Etienne E. Kerre. Defuzzification: Criteria and classification. Fuzzy Sets and Systems, 108(2):159–178, 1999.