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

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 dvuch chastej. Pervaya chast′ posvyashhena issledovaniyu deduktivnych sistem i kategorij. Vo vtoroj chasti udelyaetsya vnimanie postroeniyu teoretiko-kategornych sistem, prizvannych zamenit′ teoretiko-mnozhestvennye i algebraicheskie semantiki etich sistem, analiziruyutsya vzaimootnosheniya teorii kategorij i kategornoj logiki.