4 in notes

fadylogji lujvo

x₁ is classical logic, for deducing/concluding/inferring x₂ (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.

• 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)

zbalogji

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