Fundamentals of computability logic 2020

2019/04/01 by Giorgi Japaridze, Japaridze, Giorgi
Computer Science · #03B47 #03B70 #03F03 #68T15 #Computability, Logic, AI Algorithms #F.1.1 #F.1.2 #F.1.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · pdf · doi:10.48550/arxiv.1904.01431

openalex publication_date 2019/04/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This article is a semitutorial-style survey of computability logic. An extended online version of it is maintained at http://www.csc.villanova.edu/~japaridz/CL/ .

Related

• A survey of computability logic
• A Programming Language Oriented Approach to Computability
• Thoughts on sub-Turing interactive computability
• Computability logic: Giving Caesar what belongs to Caesar
• Soundness and completeness of the cirquent calculus system CL6 for computability logic