Generalized Realizability and Intuitionistic Logic

DOI10.1145/3565367arXiv2205.08276WikidataQ130808726 ScholiaQ130808726MaRDI QIDQ6399366FDOQ6399366

A. Yu. Konovalov

Publication date: 17 May 2022

Abstract: Let V be a set of number-theoretical functions. We define a notion of V -realizability for predicate formulas in such a way that the indices of functions in V are used for interpreting the implication and the universal quantifier. In this paper we prove that Intuitionistic Predicate Calculus is sound with respect to the semantics of V -realizability if and only if some natural conditions for V hold.

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited In (1)

• An extensional Kleene realizability semantics for the Minimalist Foundation

This page was built for publication: Generalized Realizability and Intuitionistic Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6399366)