Embedding Logics into Product Logic. - Matthias Baaz; Petr Hájek 001; David Svejda; Jan Krajícek (Stud Logica, 1998)