Modelling Linear Logic Without Units (Preliminary Results)
范畴论
2013-05-13 v1 计算机科学中的逻辑
逻辑
摘要
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.
引用
@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}
}
备注
23 pages