Linear logic

A logic invented by Girard in 1987 that can be used in proofs related to resource usage.