Введение
Глава I. Теория логического вывода и табличный метод
1.1. Табличный метод и его история развития 17
1.2. Аксиоматический и табличный методы доказательства 31
1.3. Натуральный вывод и табличный метод 38
1.4. Связь табличного и секвенциального методов доказательства . 48
Глава II. Табличные конструкции и их применение в классической логике
II. 1. Семантический период развития табличного метода. Семантические таблицы Э. Бета и модельные множества Я. Хинтикки 77
II.2. Аналитический период развития табличного метода.
II.2.1. Аналитические таблицы Р. Смаллиана 85
II.2.2. Таблицы Фиттинга 115
Глава III. Табличные методы в неклассических логиках
III.1. Методы логического вывода и таблицы в интуиционистской логике
III.1.1. Теоретический анализ методов логического вывода в интуиционистской логике (аксиоматический, натуральный и секвенциальный вывод)
III.1.1.1. Аксиоматические системы интуиционистской логики 121
III.1.1.2. Натуральный вывод в интуиционистской логике 134
IIІ.1.1.3. Секвенциальные системы интуиционистской логики 138
III.1.2. Табличные методы в интуиционистской логике. Семантические таблицы Бета для систем интуиционистской логики 151
III.1.3. Аналитические таблицы для систем интуиционистской логики 159
III.1.4. Усовершенствованная табличная система Мильоли-Москато-Орнаги 176
III.1.5. Расширение табличного метода для интуиционистских логик на модальные системы. Системы Авеллоне-Феррари 181
III.2.Табличные методы в модальной логике
III.2.1. Теоретический анализ методов логического вывода в системах модальной логики (аксиоматический, натуральный и секвенциальный вывод)
III.2.1.1. Аксиоматические варианты систем модальной логики 190
III.2.1.2. Натуральный вывод в модальной логике 194
III.2.1.3. Секвенциальные системы модальной логики 199
III.2.2. Семантический анализ модальной логики методом таблиц. Семантические таблицы Крипке и модельные множества Хинтикки 206
III.2.3. Табличные методы Фиттинга для модальной логики 215
III.3. Применение табличных методов в многозначной логике
III.3.1. Теоретический анализ методов логического вывода в многозначной логике (аксиоматический, секвенциальный)
III.3.1.1. Системы гильбертовского типа в многозначной логике 230
III.3.1.2. Секвенциальные системы многозначной логики 240
III.3.2. Табличные методы в многозначной логике. Аналитические таблицы для систем многозначной логики 247
III.3.3. Табличный метод Карниелли. Систематизация конечнозначных логик через метод таблиц 266
III.3.4. Оптимизация табличного метода Карниелли. Таблицы для множеств-знаков Хэнла 277
III.3.5. Расширение табличного метода для конечнозначных логик на системы интуиционистской логики. Система Баса-Фермюллера 280
III.4. Методы логического вывода и таблицы в релевантной логике.
III.4.1. Теоретический анализ методов логического вывода в релевантной логике (аксиоматический, натуральный и секвенциальный вывод)
III.4.1.1 Аксиоматические системы релевантной логики 289
III.4.1.2. Системы натурального вывода в релевантной логике 300
III.4.1.3. Генценовские логистические исчисления для релевантных систем 303
III.4.1. Таблицы для систем релевантной логики
III.4.1.1. Таблицы для систем 308
III.4.1.2. Таблицы для релевантных систем с мультипликативными связками 315
III.4.1.3. Таблицы с индексированными формулами для релевантных систем 323
Заключение .327
Литература 330
