resource-sensitive logic

Resource-sensitive logic is a type of formal logic in which the use of assumptions is carefully tracked so that resources (such as premises) cannot be duplicated or discarded arbitrarily, reflecting constraints on availability and consumption.