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

Скачать

В 1921 году появилось сообщение о крупном исследовании в области алгебры логики, выполненном известным американским математиком Э. Постом. Однако только через 20 лет, в 1941 году, автору удалось оформить этот труд в виде монографии «Two-valued iterative systems»*. Основным результатом этой работы является построение всех подалгебр (замкнутых систем) алгебры логики.

Это дало возможность сильно продвинуть разработку проблематики полноты. Здесь следует упомянуть установление для каждой замкнутой системы необходимых и достаточных условий полноты, позволяющих выяснять возможность порождения этой системы из данной ее подсистемы.

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