Интуиционистские версии конечнозначных логик Аншаков, Олег Михайлович

Короткий опис

Аншаков, Олег Михайлович.
Интуиционистские версии конечнозначных логик : диссертация ... кандидата физико-математических наук : 01.01.06. - Москва, 1984. - 126 с.
Оглавление диссертациикандидат физико-математических наук Аншаков, Олег Михайлович
ВВЕДЕНИЕ.
ГЛАВА I. Интуиционистские версии конечнозначных пропозициональных логик.
§ I. Синтаксис и семантика интуиционистских версий конечнозначных пропозициональных логик.
§ 2. Пропозициональные исчисления.
§ 3. Корректность пропозициональных исчислений.
§ 4. Полнота пропозициональных исчислений.
§ 5. Интуиционистские версии произвольных конечнозначных логик.
ГЛАВА II. Алгебраический подход к семантике интуиционистских версий конечнозначных пропозициональных логик.
§ 6. ип -версии псевдобулевых алгебр и п -алгебры.
§ 7. Интуиционистская версия логики Д.А.Бочвара и псевдобочваровы алгебры.
§ 8. Алгебраический подход к семантике интуиционистских версий произвольных конечнозначных логик.
ГЛАВА III. Интуиционистские версии конечнозначных логик предикатов.
§ 9. Синтаксис и семантика интуиционистских версий конечнозначных логик предикатов.
§ 10. Исчисления предикатов.
§ II. Корректность исчислений предикатов.
§ 12. Полнота исчислений предикатов.^
§ 13. Применение интуивдонистской версии логики Д.А.Бочвара к анализу парадоксов теории множеств.УЗ
§ 14. Интуиционистские версии более широкого класса логик предикатов. ^
§ 15. Ультрапроизведения «-структур Крипке. ^
ГЛАВА 1У. Секвенциальные исчисления и аналитические таблицы.
§ 16. Секвенциальные исчисления.
§ 17. Аналитические таблицы.
§ 18. Корректность систем аналитических таблиц и секвенциальных исчислений.
§ 19. Полнота систем аналитических таблиц и секвенциальных исчислений.
§ 20. Квазисеквенциальные исчисления.
§ 21. Секвенциальные и квазисеквенциальные исчисления для пропозициональных логик.