Аннотация: Натуральный вывод. Теоретико-доказательственное исследование

Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств:
- Образцы строгих и ясных определений языков первопорядковой и второпорядковой логик, базовых и вспомогательных логических понятий;
- Компактное изложение различных версий систем натурального вывода для классической, интуиционистской и минимальной логик;
- Конструктивные доказательства фундаментальных теорем о нормализации натуральных выводов в классической, интуиционистской и минимальной системах первого и второго порядков;
- Версии систем натурального вывода для модальных и релевантных логик;
- Оригинальные и перспективные идеи, касающиеся анализа и нормализации доказательств в форме натуральных выводов.

Автор/составитель	Правиц Даг
Год выпуска	2020
ISBN	978-5-85582-420-9
Обложка	мягкая обложка
Дата выпуска	2020 г.
Количество томов	1
Количество страниц	108
Переплет	мягкий
Размеры	170x240 мм
Формат	70x100/16 (170x240 мм)
Тираж	100
Вес	174