x_{1} is classical logic, for deducing/concluding/inferring x_{2} (du'u)

Any logic that has the laws of: excluded middle, double negative elimination, noncontradiction, principle of explosion (false implies anything), monotonicity and idempotency of entailment, commutativity of conjunction and DeMorgan's laws.

- 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) - zbalogji
- x
_{1}is intuitionistic logic / constructive logic for inferring/deducing x_{2}(du'u)