|
enhanced by Google
|
More Offers: |
"game+semantics", rent games, discount games, mobile phone games, buy games |
Game semantics (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, ...
en.wikipedia.org/wiki/Game_semantics - Similar
G. Japaridze, In the beginning was game semantics. ... I.Mezhirov and N. Vereshchagin, On game semantics of the affine and intuitionistic logics. ...
en.wikipedia.org/wiki/Computability_logic - Similar
The page is about an alternative to linear logic called computability logic. It is semantics-based unlike the syntax-based linear logic.
www.csc.villanova.edu/~japaridz/CL/gsoll.html - Similar
Sep 12, 2006 ... The subject called game semantics grew out as a coherent body of ... Game semantics allows to provide precise and also natural, interactive ...
www.pps.jussieu.fr/~curien/Game-semantics.pdf - Similar
Mar 11, 2008 ... We report on an ongoing project to design a strongly typed, class-based object- oriented language based around ideas from game semantics. ...
lambda-the-ultimate.org/node/2716 - Similar
Abstract: We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic. ...
arxiv.org/abs/math.LO/9310211 - Similar
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling ...
loriweb.org/?p=1133 - Similar
Game Semantics - http://en.wikipedia.org/wiki/Computability_logic Wikipedia article. ... Is Game Semantics Necessary? - http://arxiv.org/abs/math.LO/9310211 ...
www.google.com/Top/Science/Math/Logic_and_Foundations... - Similar
CiteSeerX - Document Details (Isaac Councill, Lee Giles): ion is modelled by currying: [[\Gamma ` x : A:M : A ! B]] = ([[\Gamma; x : A ` M : B]]) ...
citeseer.ist.psu.edu/126079.html - Similar
Game semantics is an approach in logic that defines the basic semantical concepts of truth or validity in terms of games. ...
open-site.org/Science/Mathematics/Logic/Game_Semantic... - Similar
More Offers: |
"game+semantics", rent games, discount games, mobile phone games, buy games |
Great! Please tell us what you found most helpful.
We're sorry. Please tell us what went wrong.
|
|