Non-associative and projective linear logics
Logic in Computer Science
2022-01-07 v1 Logic
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.
Keywords
Cite
@article{arxiv.2201.02043,
title = {Non-associative and projective linear logics},
author = {Daniel Lehmann},
journal= {arXiv preprint arXiv:2201.02043},
year = {2022}
}
Comments
22 pages