Книга: Комплексная логика
В книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования.
Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования.
Информация о документе
- Формат документа
 - PDF, DJVU
 - Кол-во страниц
 - 206 страниц
 - Загрузил(а)
 - Лицензия
 - —
 - Доступ
 - Всем
 
Информация о книге
- Издательство
 - НАУКА
 - Год публикации
 - 1970
 - Каталог SCI
 - Филология
 - ББК
 - 87. Философия
 
Статистика просмотров
Статистика просмотров книги за 2025 год.