See also the Linear logic, a logic in which discarding information is disallowed: https://en.m.wikipedia.org/wiki/Linear_logic https://en.m.wikipedia.org/wiki/

See also the Linear logic, a logic in which discarding information is disallowed: https://en.m.wikipedia.org/wiki/Linear_logic https://en.m.wikipedia.org/wiki/Linear_logic