Введение
ГЛАВА I. Интуиционистские версии конечнозначных пропозици ональных логик ,. 12
I. Синтаксис и семантика интуиционистских версий конечнозначных пропозициональных логик 12
2. Пропозициональные исчисления ..16
3. Корректность пропозициональных исчислений ..21
4. Полнота пропозициональных исчислений 23
5. Интуиционистские версии произвольных конечно значных логик 32
ГЛАВА II. Алгебраический подход к семантике интуиционистских версий конечнозначных пропозициональных логик 36
6. Ln -версии псевдобулевых алгебр и L п -алгебры 36
7. Интуиционистская версия логики Д.А.Бочвара и псевдобочваровы алгебры 50
8. Алгебраический подход к семантике интуиционистских версий произвольных конечнозначных логик. 52
ГЛАВА III. Интуиционистские версии конечнозначных логик предикатов 54
9. Синтаксис и семантика интуиционистских версий конечнозначных логик предикатов 54
10. Исчисления предикатов 61
11. Корректность исчислений предикатов 64
12. Полнота исчислений предикатов
13. Применение интуиционистской версии логики Д.А.Бочвара к анализу парадоксов теории множеств
14. Интуиционистские версии более пшрокого класса логик предикатов
15. Ультрапроизведения «-структур Крипке
ГЛАВА IV. Секвенциальные исчисления и аналитические таблицы 91
16. Секвенциальные исчисления 91
17. Аналитические таблицы 95
18. Корректность систем аналитических таблиц и секвенциальных исчислений 103
19. Полнота систем аналитических таблиц и секвенциальных исчислений 105
20. Квазисеквенциальные исчисления 120
21. Секвенциальные и квазисеквенциальные исчисления для пропозициональных логик 121
Литература КЗ
