Об одном конструктивном исчислении предикатов

В. Е. Плиско

Московский государственный университет им. М. В. Ломоносова

Аннотация: Строится исчисление предикатов, которое может служить логической основой для конструктивной арифметики.
Библиография: 15 названий.

Ключевые слова: конструктивная логика, исчисление предикатов, рекурсивная реализуемость, абсолютная реализуемость, принцип Маркова, обобщенный тезис Чёрча, конструктивная арифметика.

УДК: 510.25

MSC: 03F50

Поступило: 18.08.2024
Исправленный вариант: 03.03.2025

DOI: 10.4213/mzm14480

 Англоязычная версия: Mathematical Notes, 2025, 118:2, 338–355

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

•