2000 character limit reached
Non-associative and projective linear logics
Published 6 Jan 2022 in cs.LO and math.LO | (2201.02043v1)
Abstract: 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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.