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