The Game semantics reference article from the English Wikipedia on 24-Jul-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Game semantics

Game semantics is an approach in logic that bases the concepts of truth or validity on games. Lorenzen, in the late 1950s, was the first to introduce a game semantics. Since then, numerous sorts of game semantics have been introduced and studied in logic.

The primary motivation for Lorenzen and his student Lorenz was to find a game-semantical, or dialogue-semantical (as they preferred to call it) justification for intuitionistic logic. Blass was the first to point out connections between game semantics and linear logic. This line was further developed by Abramsky, Jagadeesan, Hyland, Ong and others. Japaridze 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

• Intuitionistic logic
• Linear logic
• Computability logic
• Interactive computation

External links

• Game Semantics or Linear Logic?
• Computability Logic Homepage

This is the "Game semantics" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.