Ludics

In proof theory, ludics is an analysis of the principles governing inference rules of mathematical logic. Key features of ludics include notion of compound connectives, using a technique known as focusing or focalisation, and its use of locations or loci over a base instead of propositions.

This keyword could refer to multiple things. Here are some suggestions: