C. Fermüller: "A Natural Deduction System for Intuitionistic Fuzzy Logic"; Talk: Moscow-Vienna Workshop on Logic and Computation, Moscow; 2002-04-28.