Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может...
Monografija posvjaschena issledovaniju kategornykh deduktivnykh sistem, predstavljajuschikh soboj logicheskoe ischislenie, v kotorom narjadu s formulami prisutstvujut kody dokazatelstv, preobrazuemye po opredelennym pravilam vyvoda, i operatsii nad nimi. Eti deduktivnye sistemy prevraschajutsja v kategorii v tom sluchae, esli my zadaem sistemu opredelennykh tozhdestv dlja dokazatelstv, t.e. kategorija - eto deduktivnaja sistema s zapisjami o vyvodimosti i pravilami ikh otozhdestvlenija. V monografii kategornaja logika rassmatrivaetsja s tochki zrenija neklassicheskoj logiki i ee potrebnostej (v chastnosti, teorii dokazatelstv). Znachitelnoe vnimanie udeljaetsja sistematicheskomu postroeniju ischislenij kategornoj logiki i teoretiko-kategornykh semantik dlja sistem neklassicheskoj logiki, prizvannykh zamenit teoretiko-mnozhestvennye i algebraicheskie semantiki etikh sistem. V nastojaschee vremja monografija podobnoj napravlennosti v mirovoj literature otsutstvuet. Kniga predstavljaet interes dlja logikov, filosofov i matematikov i mozhet...
