Функции алгебры логики и классы Поста., Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б.

Функции алгебры логики и классы Поста.

Аннотация

Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некоторые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части.

Авторы: Яблонский С.В. Гаврилов Г.П. Кудрявцев В.Б.

Категории: Математика

Формат: djvu

Во второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. Монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы и формулируются теоремы о полноте.