In the beginning was game semantics

Details In the beginning was game semantics In the beginning was game semantics

2005-07-18

arxiv.org/abs/cs/0507045v3

Games: Unifying Logic, Language and Philosophy. O. Majer, A.-V. Pietarinen and T. Tulenheimo, eds. Springer 2009, pp. 249-350

Computer Science

Logic in Computer Science

To appear in: "Games: Unifying Logic, Language and Philosophy". O. Majer, A.-V. Pietarinen and T. Tulenheimo, eds. Springer Ve

Scientific paper

10.1007/978-1-4020-9374-6_11

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

Affiliated with

Also associated with

No associations

Rating

In the beginning was game semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with In the beginning was game semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and In the beginning was game semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-187968