可计算性逻辑 相对于是真理的形式理论的经典逻辑喬治賈帕里澤英语Giorgi Japaridze在年发明的可计算性逻辑Computability logic是把逻辑恢复为系统的形式的可计算性理论的一个研究程序和数学框架在这种方法下逻辑公式表示计算问题或等价的计算资源而它们的有效性意味着总是可计算的 计算问题和资源的理解是在它们最一般的意义上的  交互的意义上的它们被形式化为机器扮演的针对它的环境的游戏而可计算性意味着存在着一个机器针对经由环境的任何可能行为赢得了游戏定义了这种游戏扮演机器所意味的东西可计算性逻辑在交互层面提供了邱奇图灵论题的一般化 真理的经典概念转变为可计算性的特殊的零交互度的情况这使经典逻辑成为可计算性逻辑的特殊片段作为前者的保守扩展的同时可计算性逻辑有着一个数量级之上的表达力创造性和计算意义提供了对基本问题什么是可以如何计算的的系统的回答它有潜在的广泛的应用领域其中包括构造性应用理论知识库系统计划和行动系统 除了经典逻辑之外线性逻辑在不严格的意义上理解和直觉逻辑也转变成可计算性逻辑的自然片段了因为直觉真理和线性逻辑真理的有意义的概念可从可计算性逻辑的语义中推导出来 正在做着语义构造至今可计算性逻辑仍没有完全开发出证明论为它的各种片段找到演绎系统并探索它们的性质是正在研究中的领域