In the beginning was game semantics
计算机科学中的逻辑
2011-04-15 v3 人工智能
逻辑
摘要
This article presents an overview of computability logic -- the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a proof of the soundness of affine logic with respect to the semantics of computability logic. A comprehensive online source on the subject can be found at http://www.cis.upenn.edu/~giorgi/cl.html
引用
@article{arxiv.cs/0507045,
title = {In the beginning was game semantics},
author = {Giorgi Japaridze},
journal= {arXiv preprint arXiv:cs/0507045},
year = {2011}
}
备注
To appear in: "Games: Unifying Logic, Language and Philosophy". O. Majer, A.-V. Pietarinen and T. Tulenheimo, eds. Springer Verlag, Berlin