交互式图灵归约的逻辑
计算机科学中的逻辑
2011-04-15 v4 人工智能
逻辑
摘要
本文给出了关于直觉主义计算器中蕴涵片段的 soundness 与 completeness 证明，依据可计算性逻辑的语义，该语义将直觉主义蕴涵理解为交互式算法归约。该概念——更准确地说，关联的归约概念——是从传统的、输入/输出 类型问题中推广到任意交互程度的计算任务的图灵归约。详见 http://www.cis.upenn.edu/~giorgi/cl.html 获取关于可计算性逻辑的综合在线资源。
引用
@article{arxiv.cs/0512100,
title = {The logic of interactive Turing reduction},
author = {Giorgi Japaridze},
journal= {arXiv preprint arXiv:cs/0512100},
year = {2011}
}