xakyziflogji

valsi

xakyziflogji

type

lujvo

creator

lalxu

time entered

Sun Aug 5 01:20:39 2018  

English

Definition #71027 - Preferred

 

definition

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

notes

Linear logic (xaklogji) with weakening. (Here, you are xaksu zifre: you don't *have* to "use up" propositions, you are allowed to just get rid of them. But you still can't duplicate them.) See also fadylogji, zbalogji, ra'arlogji.

gloss words

• affine logic

created by

lalxu

vote information

1

time

Sun Aug 5 01:21:03 2018

Examples

---