Giorgi Japaridze

Who is Giorgi Japaridze?

Giorgi Japaridze is a logician, at Villanova University in Villanova, Pennsylvania. In the past his contributions were primarily into the areas of provability logic and interpretability logic. Currently he is best known for his work on computability logic.

Technically CL is a game logic: it understands interactive computational problems as games played by a machine against the environment, their computability as existence of a machine that always wins the game, logical operators as operations on computational problems, and validity of a logical formula as being a scheme of "always computable" problems.

Classical logic, intuitionistic logic, and linear logic, turn out to be three natural fragments of CL. The classical concept of truth is a special case of computability, – computability restricted to problems of zero interactivity degree. Correspondingly, classical logic is a special fragment of CL. One of the main intuitions associated with intuitionistic logic is that it must be a logic of problems; this is exactly what CL is, but in a more expressive language than intuitionistic logic. And one of the main claims of linear logic is that it is a logic of resources.