Modelling Linear Logic Without Units (Preliminary Results)

@article{Houston2005ModellingLL,
  title={Modelling Linear Logic Without Units (Preliminary Results)},
  author={Robin Houston and Dominic J. D. Hughes and Andrea Schalk},
  journal={ArXiv},
  year={2005},
  volume={abs/math/0504037}
}
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. 

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Proof nets for unitfree multiplicativeadditive linear logic

  • Rob van Glabbeek.
  • 1987

Linear logic

  • Jean-Yves Girard.
  • Theoretical Computer Science
  • 1966