We continue to study into the notion of general recursive realizability, which was introduced in [Algebra and Logic, 59, No. 5, 367-384 (2020)], 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.

中文翻译：

---

一般递归可实现性和直觉逻辑

我们继续研究一般递归可实现性的概念，该概念在 [ Algebra and Logic , 59 , No. 5, 367-384 (2020)] 中引入，基于使用一般递归函数的索引作为获得某些来自他人的感悟。事实证明，对于一般递归可实现性的语义的较弱版本，直觉逻辑是不合理的。