Linear logic

Home > Philosophy > Logic > Predicate Logic > Linear logic

A type of logic that models resource allocation and consumption, and allows for the manipulation of resources without duplication or deletion.