# nLab bounded linear logic

Contents

foundations

(0,1)-category

(0,1)-topos

## Theorems

#### Monoidal categories

monoidal categories

# Contents

## Idea

A kind of linear logic in which the exponential modality is indexed by, say, the natural numbers to indicate the availability of the number of copies of a premise.

## References

Last revised on August 25, 2022 at 14:14:51. See the history of this page for a list of all contributions to it.