x_{1} is intuitionistic logic / constructive logic for inferring/deducing x_{2} (du'u)

This is fadylogji without the law of excluded middle or double negation elimination. (Which ends up meaning that you can't prove "P or Q" without "constructing" a proof of either P or Q, hence "zbasu"/"constructive".) See also xaklogji.

- 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) - xakyziflogji
- x
_{1}is affine logic, used to deduce/infer x_{2}(du'u)