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

Linear logic (xaklogji) with weakening. (Here, you are xaksu zifre: you don't *have* to "use up" propositions, you are allowed to just get rid of them. But you still can't duplicate them.) See also fadylogji, zbalogji, ra'arlogji.

- ra'arlogji
- x
_{1}is relevant logic / relevance logic, used to deduce/infer x_{2}(du'u) - xaklogji
- x
_{1}is linear logic, used to deduce/infer x_{2}(du'u)