Mat. Zametki, 2022 Volume 111, Issue 2, Pages 241–257
(Mi mzm13203)
This article is cited in
2 papers
Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability A. Yu. Konovalov Lomonosov Moscow State University Abstract:
It is proved that basic predicate calculus BQC is not sound with respect to the strong variant of strictly primitive recursive realizability.
Keywords:
strictly primitive recursive realizability, basic predicate calculus BQC, constructive semantics, realizability.
UDC:
510.64 Received: 01.07.2021
Revised: 13.09.2021
DOI:
10.4213/mzm13203
© , 2026
Fulltext:
PDF file (534 kB)
