Содержание
1 Метаматематика логик.
1.1 Шкалы и модели.
1.2 Порожденные шкалы
1.3 Рморфизмы.
1.4 Обратная теорема орморфизмах и изоморфных вложениях
1.5 Характеристические формулы. Обратная теорема о сравнении логик
1.6 Разное.
1.7 Шкалы и рлогики .
1.8 Схема замены эквивалентных и порожденные ршкалы .
1.9 Рморфизмы
1. О включении рлогик . . .
1. О присоединимости формул
1. Подход П.С.Новикова.
1. Подход Д.Габбая.
1. Прямая схема построения примеров полных по Новикову нормальных рлогик
1. Схема построения примеров полных рлогик методом перевода
1. Анализ известных примеров.
11 Логика Сметанича.
12 Регулярная константа в I.
13 Логика Бессонова
14 Логика Каминского
15 Сильное отрицание
16 Прецедентное отрицание.
17 Универсальная необходимость
18 Немонотонная возможность
19 Оператор Крайзеля
1Антиимпликация Боуэна
2 Новые константы в п ТО
2.1 О конечных шкалах.
2.2 Шкалы с наростами
2.3 логики Ь7
2.4 Основная лемма и ее следствие
2.5 О полных логиках с явными соотношениями
2.6 Универсальная шкала.
2.7 О числе полных логик при 2
2.8 О напарнике чистой табличной логики
2.9 Формулы Нишимуры
2. логики Ьа.
2. Полнота по Новикову улогики Ь
2. О логиках с неравномерно ограниченными константными формулами .
2. рлогики Ь1 и Ь2
2. Классификационная теорема
2. Аксиомы логики 1
2. Вырожденный случай теоремы о семантической полноте
2. Непротиворечивые пары .
2. Построение основы
2. Невырожденный случай теоремы о семантической полноте
2. Разрешимость рлогик Ьа .
2. Разрешимость алгоритмической проблемы консервативности для ф 1
2. Неразрешимость алгоритмической проблемы консервативности для ф 2
3 Неконстантные связки и полнота по Новикову
3.1 Логика Кузнецова и логика Габбая
3.2 Шкалы с конечными хвостами
3.3 сишкалы
3.4 Аксиоматика логик Кг и СаЬ
3.0 0 числе полных логик с новой одноместной связкой . . .
3.6 О полных расширениях логики Бессонова
3.7 Пример полной по Новикову логики с несколькими одноместными независимыми связками
3.8 Пример полной по Новикову логики с новой двухместной связкой.
3.9 Неразрешимость алгоритмической проблемы консервативности в языке с одной одноместной связкой
4 Элементарная теория моделей Крипке и логические связки
4.1 Семантический подход к понятию интуиционистской логической связки.
4.2 Элементарная теория моделей Крипке и логические связки
4.3 Пропозициональные типы.
4.4 Характеризация стандартных связок
4.5 Характеризация набора стандартных связок с универсальной необходимостью
4.6 Характеризация связок логики Гейтинга
Брауэра с универсальной необходимостью
4.7 Характеризация связок логики
ГейтингаБрауэра.
4.8 Характеризация связок модальной логики .
Литература
- Київ+380960830922