Una lógica subestructural que niega a la regla estructural de la contracción . Puede también ser caracterizada como lógica linear con el que debilita .

¡Afinar la lógica puede ser encajado en lógica linear reescribiendo el $A\; \backslash \; el\; rightarrow\; B$ de la flecha de la afinación como el $A\; linear\; de\; la\; flecha\; \{-\; \backslash !\; \backslash \; circ\}\; B\; \backslash \; otimes\; \backslash \; top$.

Considerando que lógica linear completa (IE. la lógica linear con multiplicatives, añadidos y exponentials) es undecidable, afina por completo lógica es decidible.

Afinar las formas de la lógica la fundación Ludics .