It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.
@article{urn:eudml:doc:39050,
title = {Remark on intuitionistic fuzzy logic and intuitionistic logic.},
journal = {Mathware and Soft Computing},
volume = {2},
year = {1995},
pages = {151-156},
zbl = {0857.03012},
mrnumber = {MR1384225},
language = {en},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:39050}
}
Atanassov, Krassimir T. Remark on intuitionistic fuzzy logic and intuitionistic logic.. Mathware and Soft Computing, Tome 2 (1995) pp. 151-156. http://gdmltest.u-ga.fr/item/urn:eudml:doc:39050/