Substructural logic

mathematical logic system that imposes certain restrictions on implication

system of resource-aware logic

type of logic