КАТЕГОРНАЯ ЛОГИКА

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