x_{1} is linear logic, used to deduce/infer x_{2} (du'u)

A substructural logic proposed by Girard where propositions cannot be duplicated or deleted at will; they are like resources that you can and must "use up" (hence xaksu). See also fadylogji, zbalogji, xakyziflogji, ra'arlogji.

- ra'arlogji
- x
_{1}is relevant logic / relevance logic, used to deduce/infer x_{2}(du'u) - xakyziflogji
- x
_{1}is affine logic, used to deduce/infer x_{2}(du'u) - zbalogji
- x
_{1}is intuitionistic logic / constructive logic for inferring/deducing x_{2}(du'u)