Головна ⇒ Логіка ⇒ Категорна логіка
Пропозіціональному категорного логіка
Перша. Імплікатівние дедуктивні системи і дедуктивні експоненціальні категорії
Ламбековскіе дедуктивні системи і дедуктивні категорії
Переклади, функтори і природні перетворення
Дедуктивні імплікатівние системи
Експонентні дедуктивні категорії
Секвенціальние імплікатівние дедуктивні системи
Експонентні дедуктивні мультикатегорій
Вільні експоненціальні дедуктивні мультикатегорій
Дуальні імплікатівние дедуктивні системи і коекспо- ненціальние дедуктивні категорії
Експонентні дедуктивні полікатегоріі
Друга. Дедуктивні системи і дедуктивні категорії
Кон'юнктівние і диз'юнктивні дедуктивні системи
Декартові і декартово замкнуті дедуктивні категорії
Декартово бізамкнутие дедуктивні категорії
Підструктурні дедуктивні категорії
Підструктурні дедуктивні мультикатегорій
Усунення перетину в підструктурних дедуктивних мультикатегорій
Генценовскіе дедуктивні мультикатегорій
Третя. Багаторівневі дедуктивні системи і дедуктивні л-категорії
Імплікатівние секвенційні дворівневі дедуктивні системи
Секвенціальние дворівневі дедуктивні системи
Дворівнева теорема дедукції
Модальний аналог дворівневої теореми дедукції
Багаторівневі дедуктивні системи і дедуктивні п-категорії
Четверта. Сполучення і когерентність
Предсопряженіе в дедуктивних системах
Сполучення в дедуктивних категоріях
Усунення перетину в вільних сполученнях
Вільне сполучення і когерентність
Когерентність в декартово замкнутих генценовскіх дедуктивних мультикатегорій
Логіка в категоріях
П'ята. Логічні обчислення в категоріях предпорядка з функторами
Класична логіка в n-категоріях
Інтуїционістськая логіка в n-категоріях
Обчислення айдукевича-ламбека в s-категоріях
Модальна логіка в mn-категоріях
Паранепротиворечивая логіка в cn-категоріях
Релевантна логіка в r.n-категоріях
Шоста. Інтерпретація секвенций в сітусах
Предтопологіі в категоріях предпорядка
Секвенції в н-сітусах (интуиционистская логіка)
Секвенції в косітусах (логіка брауера)
Секвенції в бісітусах (н-в логіка)
Секвенції в полісітусах (класична логіка)
Секвенції в ра-сітусах
Сьома. Логічні обчислення в топосах
Релевантна логіка в топосах
Паранепротиворечивая логіка в топосах
Обчислення айдукевича-ламбека в голосах
Інші підручники:
Методологія наукових дослідженьМетоди прийняття управлінських рішень
Менеджмент
Менеджмент. Частина 1
Лінгвокультурологічні аспекти толерантності
Корпоративна культура
Керування нерухомістю
