Зарегистрироваться
Восстановить пароль
FAQ по входу

Зиновьев А.А. Комплексная логика

  • Файл формата djvu
  • размером 1,86 МБ
  • Добавлен пользователем
  • Описание отредактировано
Зиновьев А.А. Комплексная логика
М.: Наука, 1970. — 206 с.
В книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняется место классической логик в теории логического следования.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация