О нормальных выводах в интуиционистском натуральном исчислении предикатов

О. А. Охотников

Уральский федеральный университет им. первого Президента России Б. Н. Ельцина, г. Екатеринбург

Аннотация: Построенная в статье теория включает формулировку двух натуральных исчислений предикатов первого порядка: интуиционистского и минимального. Для этих двух видов логики в статье определяется новое понятие нормального натурального вывода. Доказывается теорема о нормализации натуральных выводов в этих исчислениях.

Ключевые слова: система натуральной дедукции, интуиционистское натуральное исчисление предикатов, нормальный натуральный вывод, автоматическое доказательство теорем, поиск натурального логического вывода.

УДК: 510.66

MSC: 03F03, 03F05, 03F07

Поступила в редакцию: 20.09.2024
Исправленный вариант: 15.10.2024
Принята в печать: 21.10.2024

DOI: 10.21538/0134-4889-2024-30-4-188-206

Реферативные базы данных:

•