Remark on intuitionistic fuzzy logic and intuitionistic logic. Krassimir T. Atanassov (1995) Mathware and Soft Computing It is shown that the axioms of the intuitionistic logic can be proved as theorems in the frames of the intuitionistic fuzzy logic.