Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability. (English. Russian original) Zbl 07820497
Math. Notes 114, No. 6, 1260-1276 (2023); translation from Mat. Zametki 114, No. 6, 827-847 (2023).