fadylogji lujvo

x1 is classical logic, for deducing/concluding/inferring x2 (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.


In notes:

ra'arlogji
x1 is relevant logic / relevance logic, used to deduce/infer x2 (du'u)
xaklogji
x1 is linear logic, used to deduce/infer x2 (du'u)
xakyziflogji
x1 is affine logic, used to deduce/infer x2 (du'u)
zbalogji
x1 is intuitionistic logic / constructive logic for inferring/deducing x2 (du'u)