This article is cited in 2 papers

General recursive realizability and intuitionistic logic

A. Yu. Konovalov

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: We continue to study into the notion of general recursive realizability, which was introduced in [Algebra and Logic, 59, No. 5 (2020), 367—384], based on using indices of general recursive functions as a constructive way of obtaining some realizations from others. It is proved that intuitionistic logic is not sound with respect to a weaker version of the semantics of general recursive realizability.

Keywords: general recursive realizability, intuitionistic logic.

UDC: 510.64

Received: 09.12.2020
Revised: 24.08.2021

DOI: 10.33048/alglog.2021.60.202

 English version: Algebra and Logic, 2021, 60:2, 89–94

Bibliographic databases:

• 
•