非结合与射影线性逻辑
Non-associative and projective linear logics
摘要：
本文对乘法和加法联结词给出了Girard线性逻辑的一个非交换、非结合的弱化。额外的假设捕捉了定量测量的逻辑。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
