Online Encyclopedia Search Tool

Your Online Encyclopedia

 

Online Encylopedia and Dictionary Research Site

Online Encyclopedia Free Search Online Encyclopedia Search    Online Encyclopedia Browse    welcome to our free dictionary for your research of every kind

Online Encyclopedia



Game semantics

Game semantics is an approach to the semantics of logic that bases the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player. Paul Lorenzen , in the late 1950s, was the first to introduce a game semantics for logic. Since then, numerous sorts of game semantics have been introduced and studied in logic, and have been applied to the semantics of programming languages.

The primary motivation for Lorenzen and his student Kuno Lorenz was to find a game-semantical, or dialogue-semantical (as they preferred to call it) justification for intuitionistic logic. Blass http://www.math.lsa.umich.edu/~ablass/ was the first to point out connections between game semantics and linear logic. This line was further developed by Samson Abramsky, Radhakrishnan Jagadeesan , Martin Hyland , Luke Ong and others. Japaridze http://www.csc.villanova.edu/~japaridz/ started treating games as foundational entities in their own right, elaborating a concept of games that formalizes the intuitive notion of interactive computational problems, and basing his computability logic on such games.

See also

External links

  • Game Semantics or Linear Logic? http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
  • Computability Logic Homepage http://www.cis.upenn.edu/~giorgi/cl.html


Last updated: 02-07-2005 15:19:06
Last updated: 02-25-2005 14:48:13