Формальный вывод и логические исчисления
Смирнов В.А.
В монографии анализируются различные способы
логического рассуждения: логистические системы гиль-
бертовского типа, системы натурального вывода,
секвенциальные исчисления. Показывается, как
модификация понятия формального вывода влияет на класс
доказуемых формул, условия, при которых имеет
место теорема дедукции. Дается достаточно естественная
классификация логических систем. Вводится и
подробно исследуется лежащее в основе классификации
абсолютное исчисление предикатов.
логического рассуждения: логистические системы гиль-
бертовского типа, системы натурального вывода,
секвенциальные исчисления. Показывается, как
модификация понятия формального вывода влияет на класс
доказуемых формул, условия, при которых имеет
место теорема дедукции. Дается достаточно естественная
классификация логических систем. Вводится и
подробно исследуется лежащее в основе классификации
абсолютное исчисление предикатов.
Категорії:
Рік:
1972
Видавництво:
Наука
Мова:
russian
Сторінки:
274
Файл:
DJVU, 2.66 MB
IPFS:
,
russian, 1972
Litres
Чи бажаєте додати книгарню? Зв'яжіться з нами за support@z-lib.do
Конвертуйте файли
Більше результатів пошуку
Інші переваги 
![Таванец П.В. (ред.) — Проблемы логики [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/27e55901677336d152cad151232462056a9b207f70d545fcbf6282af0e274f87.jpg)
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
![Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/1eebf89368c6f5ad9081ffa5a1993272e6ab65571b3f54d8037fa4b853c88c34.jpg)
