Crossmark

Basic Predicate Calculus is Sound with Respect to a Modified Version of Strictly Primitive Recursive Realizability

Published Online: 2024-03-12

Published Print: 2023-12

Authors

Konovalov, A. Yu.
License Information

Text and Data Mining valid from 2023-12-01

Version of Record valid from 2023-12-01
More Information

Article History

Received: 14 September 2022

Revised: 27 April 2023

Accepted: 15 May 2023

First Online: 12 March 2024

Conflict of interest

: The author of this work declares that he has no conflicts of interest.

Document is current