xaklogji

valsi

xaklogji

type

lujvo

creator

lalxu

time entered

Sun Aug 5 01:16:02 2018  

English

Definition #71026 - Preferred

 

definition

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

notes

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.

gloss words

• linear logic

created by

lalxu

vote information

1

time

Sun Aug 5 01:16:02 2018

Examples

---