Math: Logic and Foundations: Game Semantics

the entire directory only this category

Advanced Search

Home : Math : Logic and Foundations : Game Semantics

CATEGORIES:

People (7)

LINKS:

Game Semantics
http://en.wikipedia.org/wiki/Computability_logic
Wikipedia article.

Game Semantics or Linear Logic?
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html
A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.

Game Theory
http://www.nationmaster.com/encyclopedia/Game-Theory
Encyclopedia article.

Game_Semantics
http://open-site.org/Science/Mathematics/Logic/Game_Semantics/
Open Encyclopedia article.

Is Game Semantics Necessary?
http://arxiv.org/abs/math.LO/9310211
Paper by Andreas Blass.

Logic and Games
http://plato.stanford.edu/entries/logic-games/
Survey of game-theoretical approaches to logic; by Wilfrid Hodges.

HOME | ADD A LINK | MODIFY A LINK | LOGIN

© atomseek.com
Website Development by MIRO

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.