论文标题
非社交和投影线性逻辑
Non-associative and projective linear logics
论文作者
论文摘要
Girard线性逻辑的非交互性，非缔合性削弱是用于乘法和加性连接剂的。其他假设捕获了Quantic测量的逻辑。
A non-commutative, non-associative weakening of Girard's linear logic is developed for multiplicative and additive connectives. Additional assumptions capture the logic of quantic measurements.
