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/