可计算性逻辑论文

可计算性逻辑研究进展
论文摘要可计算性逻辑(ComputabilityLogic,简称CoL)在交互计算算法理论、运算集合和基于Cirquent的推理系统等方面得到持续研究。在可计算性逻辑中,经典逻...