3 in notes

xaklogji lujvo

x₁ is linear logic, used to deduce/infer x₂ (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.

• jbovlaste

In notes:

ra'arlogji

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

xakyziflogji

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

zbalogji

x₁ is intuitionistic logic / constructive logic for inferring/deducing x₂ (du'u)