Photo by goian from unsplash
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… Click to show full 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 semantics of general recursive realizability is proved.
Keywords:
realizability basic;
recursive realizability;
general recursive;
logic general;
basic logic
Journal Title: Algebra and Logic
Year Published: 2020
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Algebra and Logic
Year Published: 2020
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!