Adam Grabowski. The Formal Construction of Fuzzy Numbers. Formalized Mathematics, 22(4):321-327, 2014. [doi]
@article{Grabowski14c,
title = {The Formal Construction of Fuzzy Numbers},
author = {Adam Grabowski},
year = {2014},
url = {http://www.degruyter.com/view/j/forma.2014.22.issue-4/forma-2014-0032/forma-2014-0032.xml},
researchr = {https://researchr.org/publication/Grabowski14c},
cites = {0},
citedby = {0},
journal = {Formalized Mathematics},
volume = {22},
number = {4},
pages = {321-327},
}