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