В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности.Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во второй части уделяется внимание построению теоретико-категорных систем, призванных заменить теоретико-множественные и алгебраические семантики этих систем, анализируются взаимоотношения теории категорий и категорной логики.
V dannom uchebnom posobii kategornaja logika rassmatrivaetsja s tochki zrenija neklassicheskoj logiki i ee potrebnostej. Podrobno izuchaetsja sistematicheskoe postroenie ischislenij kategornoj logiki i ee primenenie k semantike neklassicheskoj logiki. Eto pervoe uchebnoe posobie podobnoj napravlennosti.Posobie sostoit iz dvukh chastej. Pervaja chast posvjaschena issledovaniju deduktivnykh sistem i kategorij. Vo vtoroj chasti udeljaetsja vnimanie postroeniju teoretiko-kategornykh sistem, prizvannykh zamenit teoretiko-mnozhestvennye i algebraicheskie semantiki etikh sistem, analizirujutsja vzaimootnoshenija teorii kategorij i kategornoj logiki.
