Категорная логика. Учебное пособие для академического бакалавриата
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности.Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
Автор | В. Л. Васюков |
Серия | Бакалавр. Академический курс |
Год выпуска | 2018 |
Издатель | Юрайт |
ISBN | 978-5-534-06190-1 |
Цена | 559 руб. |