Information AboutLudics |
| CATEGORIES ABOUT LUDICS | |
| mathematical logic | |
|
More precisely, ludics tries to retrieve known logical connectives, and proof behaviours, by following the paradigm of interactive computation, similarly to what is done in Game Semantics to which it is closely related. By abstracting the notion of formulae and focusing of their concrete uses, that is distinct occurrences, it allows to provide an abstract syntax for Computer Science , as loci can be seen as pointers on memory. Ludics was proposed by the (such as illustrations of Positive Skunks). It has to be noted, that the intent of these features is to enforce the point of view of Jean-Yves Girard at the time of its writing. And, thus, it offers to readers the possibility to understand ludics independently of their backgrounds. SEE ALSO EXTERNAL LINK
|
|
|