Linear logic

system of resource-aware logic