М.: Наука, 1966. 120 с.
Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. Во второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. Монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы и формулируются теоремы о полноте.
Основные понятия алгебры логики.
Самодвойственные, монотонные и линейные функции.
Типы оснований замкнутых классов.
Некоторые специальные замкнутые классы.
Описание замкнутых классов в С1.
Построение диаграммы включений замкнутых классов.
Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. Во второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. Монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы и формулируются теоремы о полноте.
Основные понятия алгебры логики.
Самодвойственные, монотонные и линейные функции.
Типы оснований замкнутых классов.
Некоторые специальные замкнутые классы.
Описание замкнутых классов в С1.
Построение диаграммы включений замкнутых классов.