In proof theory, ludics is an analysis of the principles governing inference rules of mathematical logic. Key features of ludics are its notion of compound connectives using a technique known as focusing or focalisation (invented by the computer scientist Jean-Marc Andreoli ), and its use of locations or loci over a base instead of propositions.
Ludics was proposed by the mathematician Jean-Yves Girard.
Girard's paper introducing Ludics, Locus solum: from the logic of rules to the rules of logic, has some features that may be seen as eccentric for a publication in mathematical logic (such as illustrations of Positive Skunks).
See Also
External link
