58 citations · 597 across the 38 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
Fundamentals of computability logic 2020
Giorgi Japaridze
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/ .
cs.LO2019
Elementary-base cirquent calculus II: Choice quantifiers
Giorgi Japaridze
Cirquent calculus is a novel proof theory permitting component-sharing between logical expressions. Using it, the predecessor article "Elementary-base cirquent calculus I: Parallel…
cs.LO2019
Computability logic: Giving Caesar what belongs to Caesar
Giorgi Japaridze
The present article is a brief informal survey of computability logic --- the game-semantically conceived formal theory of computational resources and tasks. This relatively young…