Exponentiation
Exponentiation is a mathematical operation, written as , involving two numbers, the "base" and the "exponent" . When is a positive integer, exponentiation corresponds to repeated multiplication of the base: that is, is the product of multiplying bases:
Linear logic
The exponentials are used to give controlled access to weakening and contraction. Specifically, we add
structural rules of weakening and contraction for ?'d propositions: