Non-associative and projective linear logics
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.
Saved in:
| Published in | arXiv.org |
|---|---|
| Main Author | |
| Format | Paper |
| Language | English |
| Published |
Ithaca
Cornell University Library, arXiv.org
06.01.2022
|
| Online Access | Get full text |
Cover
Loading…
| Summary: | 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. |
|---|---|
| ISSN: | 2331-8422 |