Being semantically constructed, as yet computability logic does not have a fully developed proof theory.

• 正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。