相对于是真理的形式理论的经典逻辑，Giorgi Japaridze在2003年发明的可计算性逻辑(Computability logic)是把逻辑恢复为系统的形式的可计算性理论的一个研究进程和数学框架。在这种方法下逻辑公式表示计算问题（或等价的计算资源），而它们的有效性意味着"总是可计算的"。

计算问题和资源的理解是在它们最一般的意义上的 - 交互的意义上的。它们被形式化为机器扮演的针对它的环境的游戏，而可计算性意味着存在着一个机器针对经由环境的任何可能行为赢得了游戏。定义了这种游戏扮演机器所意味的东西，可计算性逻辑在交互层面提供了邱奇-图灵论题的一般化。

Introduced by Giorgi Japaridze in 2003, computability logic is a research program and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".