线性逻辑

linear logic