Formal Introduction to Fuzzy Implications
Formalized Mathematics (2017)
- Volume: 25, Issue: 3, page 241-248
- ISSN: 1426-2630
Access Full Article
top
Abstract
topHow to cite
topAdam Grabowski. "Formal Introduction to Fuzzy Implications." Formalized Mathematics 25.3 (2017): 241-248. <http://eudml.org/doc/288549>.
@article{AdamGrabowski2017,
abstract = {In 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).},
author = {Adam Grabowski},
journal = {Formalized Mathematics},
keywords = {fuzzy implication; fuzzy set; fuzzy logic},
language = {eng},
number = {3},
pages = {241-248},
title = {Formal Introduction to Fuzzy Implications},
url = {http://eudml.org/doc/288549},
volume = {25},
year = {2017},
}
TY - JOUR
AU - Adam Grabowski
TI - Formal Introduction to Fuzzy Implications
JO - Formalized Mathematics
PY - 2017
VL - 25
IS - 3
SP - 241
EP - 248
AB - In 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).
LA - eng
KW - fuzzy implication; fuzzy set; fuzzy logic
UR - http://eudml.org/doc/288549
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.