Being a conservative extension of the former, computability logic is, at the same time, by an order of magnitude more expressive, constructive and computationally meaningful.
英
美
- 作为前者的保守扩展的同时,可计算性逻辑有着一个数量级之上的表达力、创造性和计算意义。