Алгебраизация суперинтуиционистских предикатных логик Тишковский, Дмитрий Евгеньевич

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

Тишковский, Дмитрий Евгеньевич.
Алгебраизация суперинтуиционистских предикатных логик : диссертация ... кандидата физико-математических наук : 01.01.06. - Новосибирск, 1999. - 101 с.
Оглавление диссертациикандидат физико-математических наук Тишковский, Дмитрий Евгеньевич
Содержание
Введение
1. Дедуктивные системы для суперинтуиционистских предикатных логик
1.1. Суперинтуиционистские предикатные логики и теории
1.2. Суперинтуиционистские дедуктивные системы
1.3. Адекватность суперинтуиционистских дедуктивных систем суперинтуиционистским логикам
1.4. Суперинтуиционистские дедуктивные системы как дедуктивные системы полимодальных логик
1.5. Свойства логик и свойства дедуктивных систем
2. Квазицилиндрические алгебры
2.1. Определение и примеры
2.2. Размерность элементов
2.3. Алгебры локально-конечной размерности
2.4. Означивания формул
2.5. Алгебры Расёвой—Сикорского
2.6. Алгебры Линденбаума—Тарского
2.7. Теорема о полноте
3. Алгебраические эквиваленты некоторых свойств логик
3.1. Дизъюнктивное свойство
3.2. Экзистенциальное свойство
3.3. Свойство Бета
3.4. Проективное свойство Бета
3.5. Интерполяционное свойство
3.6. Соотношение свойств дедуктивных систем и свойств логик
Литература