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