Полная версия
Главная
Логика
КАТЕГОРНАЯ ЛОГИКА
>>
КАТЕГОРНАЯ ЛОГИКА
ПРОПОЗИЦИОНАЛЬНАЯ КАТЕГОРНАЯ ЛОГИКА
первая. Импликативные дедуктивные системы и дедуктивные экспоненциальные категории
Ламбековские дедуктивные системы и дедуктивные категории
Переводы, функторы и естественные преобразования
Дедуктивные импликативные системы
Экспоненциальные дедуктивные категории
Секвенциальные импликативные дедуктивные системы
Экспоненциальные дедуктивные мультикатегории
Свободные экспоненциальные дедуктивные мультикатегории
Дуальные импликативные дедуктивные системы и коэкспо- ненциальные дедуктивные категории
Экспоненциальные дедуктивные поликатегории
вторая. Дедуктивные системы и дедуктивные категории
Конъюнктивные и дизъюнктивные дедуктивные системы
Декартовы и декартово замкнутые дедуктивные категории
Декартово бизамкнутые дедуктивные категории
Подструктурные дедуктивные категории
Подструктурные дедуктивные мультикатегории
Устранение сечения в подструктурных дедуктивных мультикатегориях
Генценовские дедуктивные мультикатегориии
третья. Многоуровневые дедуктивные системы и дедуктивные л-категории
Импликативные секвенциальные двухуровневые дедуктивные системы
Секвенциальные двухуровневые дедуктивные системы
Двухуровневая теорема дедукции
Модальный аналог двухуровневой теоремы дедукции
Многоуровневые дедуктивные системы и дедуктивные п- категории
четвертая. Сопряжение и когерентность
Предсопряжение в дедуктивных системах
Сопряжение в дедуктивных категориях
Устранение сечения в свободных сопряжениях
Свободное сопряжение и когерентность
Когерентность в декартово замкнутых генценовских дедуктивных мультикатегориях
ЛОГИКА В КАТЕГОРИЯХ
пятая. Логические исчисления в категориях предпорядка с функторами
Классическая логика в N-категориях
Интуиционистская логика в N-категориях
Исчисления Айдукевича-Ламбека в S-категориях
Модальная логика в MN-категориях
Паранепротиворечивая логика в CN-категориях
Релевантная логика в R.N-категориях
шестая. Интерпретация секвенций в ситусах
Предтопологии в категориях предпорядка
Секвенции в Н-ситусах (интуиционистская логика)
Секвенции в коситусах (логика Брауэра)
Секвенции в биситусах (Н-В логика)
Секвенции в полиситусах (классическая логика)
Секвенции в Ра-ситусах
седьмая. Логические исчисления в топосах
Релевантная логика в топосах
Паранепротиворечивая логика в топосах
Исчисления Айдукевича-Ламбека в голосах
>>
©
Учебные материалы для студентов © 2010 - 2021