General Recursive Realizability and Basic Logic
Sign Up to like & getrecommendations! Published in 2020 at "Algebra and Logic"
DOI: 10.1007/s10469-020-09610-y
Abstract: The notion of general recursive realizability is defined based on using indices of general recursive functions as a constructive way of obtaining some realizations from others. The soundness of basic logic with respect to the… read more here.
Keywords: realizability basic; recursive realizability; general recursive; logic general ... See more keywords