Email-запись: Алгебры Гейтинга I. Теория двойственности