Giorgi Japaridze

Villanova University, University of Notre Dame

Papers

Total Citations

H-Index

About

Giorgi Japaridze is a logician whose work redefines the foundations of computability and interactive computation. His primary research areas include computability logic, proof theory, and the logic of tasks, where he has pioneered a novel semantics that interprets logical formulas as computational tasks performed by an agent. His most influential contribution is the development of "computability logic," a formal framework that extends classical logic to capture interactive computation, where agents (machines or robots) act as slaves to a master (user or environment). This approach offers a rigorous foundation for understanding problem-solving in interactive settings, bridging logic and computer science. Japaridze’s seminal paper, "The logic of tasks" (2002), with 29 citations, introduces a semantics for the language of propositional additive-multiplicative linear logic, viewing formulas as tasks to be accomplished. His earlier work, "The Propositional Logic of Elementary Tasks" (2000), further formalizes this perspective, providing a basis for reasoning about computational processes. Japaridze’s contributions have significant implications for artificial intelligence, game semantics, and the theory of computation, establishing him as a key figure in modern logical theory.