Scifaro

中文

可计算性逻辑的圈演算系统 CL6 的可靠性与完备性

计算机科学中的逻辑 2011-06-14 v1

作者: Wenyan Xu , Sanyang Liu

在 arXiv 上查看 ↗ PDF ↗

摘要

可计算性逻辑是可计算性的形式理论。Japaridze 早先的文章《圈演算与抽象资源语义学导论》证明了可计算性逻辑的基本片段 CL5 的可靠性与完备性。本文将这一结果扩展到更具表达力的圈演算系统 CL6，该系统是 CL5 和经典命题逻辑的保守扩展。

关键词

可计算性逻辑圈演算 CL6 可靠性完备性抽象资源语义学经典命题逻辑

引用

@article{arxiv.1106.2272,
  title  = {Soundness and completeness of the cirquent calculus system CL6 for computability logic},
  author = {Wenyan Xu and Sanyang Liu},
  journal= {arXiv preprint arXiv:1106.2272},
  year   = {2011}
}