Modelling Linear Logic Without Units (Preliminary Results)
<|reference_start|>Modelling Linear Logic Without Units (Preliminary Results): We describe a notion of categorical model for unitless fragments of (multiplicative) linear logic. The basic definition uses promonoidal categories, and we also give an equivalent elementary axiomatisation.<|reference_end|>
@article{houston2005modelling,
    title={Modelling Linear Logic Without Units (Preliminary Results)},
    author={Robin Houston, Dominic Hughes and Andrea Schalk},
    journal={arXiv preprint arXiv:math/0504037},
    year={2005},
    archivePrefix={arXiv},
    eprint={math/0504037},
    primaryClass={math.CT cs.LO math.LO}
}