Категорная логика, учебное пособие для вузов
| Главный автор: | |
|---|---|
| Примечания: | URL: https://urait.ru/bcode/493300 (дата обращения: 27.08.2025). В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики. |
| Опубликовано: |
Москва, Юрайт, 2022
|
| Издание: | 2-е изд. |
| Серии: | Высшее образование |
| Предметы: | |
| Online-ссылка: | https://urait.ru/bcode/493300 |
| Формат: | Электронный ресурс Книга |