A Constructive Predicate Calculus

V. E. Plisko

Lomonosov Moscow State University

Abstract: A predicate calculus is constructed which may serve as a logic basis for constructive arithmetic.

Keywords: constructive logic, predicate calculus, recursive realizability, absolute realizability, Markov principle, extended Church thesis, constructive arithmetic.

UDC: 510.25

MSC: 03F50

Received: 18.08.2024
Revised: 03.03.2025

DOI: 10.4213/mzm14480

 English version: Mathematical Notes, 2025, 118:2, 338–355

Bibliographic databases:

•