Название: Комплексная логика
Издательство: Наука
Год издания: 1970
Формат: PDF
Язык: русский
Cтраниц: 205
Размер: 12 МБ
Описание: В книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняется место классической логик в теории логического следования.