Modelling Linear Logic Without Units (Preliminary Results)
Category Theory
2013-05-13 v1 Logic in Computer Science
Logic
Abstract
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.
Keywords
Cite
@article{arxiv.math/0504037,
title = {Modelling Linear Logic Without Units (Preliminary Results)},
author = {Robin Houston and Dominic Hughes and Andrea Schalk},
journal= {arXiv preprint arXiv:math/0504037},
year = {2013}
}
Comments
23 pages