KATEGORNAYA LOGIKA 2-e izd., per. i dop. Uchebnoe posobie dlya akademicheskogo bakalavriata

V dannom uchebnom posobii kategornaya logika rassmatrivaetsya s tochki zreniya neklassicheskoj logiki i ee potrebnostej. Podrobno izuchaetsya sistematicheskoe postroenie ischislenij kategornoj logiki i ee primenenie k semantike neklassicheskoj logiki. Eto pervoe uchebnoe posobie podobnoj napravlennosti. Posobie sostoit iz dvuh chastej. Pervaya chast′ posvyashhena issledovaniyu deduktivnyh sistem i kategorij. Vo vtoroj chasti udelyaetsya vnimanie postroeniyu teoretiko-kategornyh sistem, prizvannyh zamenit′ teoretiko-mnozhestvennye i algebraicheskie semantiki etih sistem, analiziruyutsya vzaimootnosheniya teorii kategorij i kategornoj logiki.