Modelling Linear Logic Without Units (Preliminary Results)

Details Modelling Linear Logic Without Units (Preliminary Results) Modelling Linear Logic Without Units (Preliminary Results)

2005-04-03

arxiv.org/abs/math/0504037v1

Mathematics

Category Theory

23 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Modelling Linear Logic Without Units (Preliminary Results) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Modelling Linear Logic Without Units (Preliminary Results), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modelling Linear Logic Without Units (Preliminary Results) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-302061