3 in notes

zbalogji lujvo

x₁ is intuitionistic logic / constructive logic for inferring/deducing x₂ (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.

• jbovlaste

In notes:

ra'arlogji

x₁ is relevant logic / relevance logic, used to deduce/infer x₂ (du'u)

xaklogji

x₁ is linear logic, used to deduce/infer x₂ (du'u)

xakyziflogji

x₁ is affine logic, used to deduce/infer x₂ (du'u)