Generalized Realizability and Intuitionistic Logic

DOI10.1145/3565367MaRDI QIDQ6399366arXivWikidataFDO

Authors A. Yu. Konovalov

Publication date 17 May 2022

Published in arXiv

Full work available at URL https://doi.org/10.1145/3565367

Mathematics Subject Classification ID

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

arXiv classification

math.LO

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.

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)