Формальный вывод и логические исчисления

В монографии анализируются различные способы логического рассуждения: логистические системы гиль- бертовского типа, системы натурального вывода, секвенциальные исчисления. Показывается, как модификация понятия формального вывода влияет на класс доказуемых формул, условия, при которых имеет место теорема дедукции. Дается достаточно естественная классификация логических систем. Вводится и подробно исследуется лежащее в основе классификации абсолютное исчисление предикатов.