Good point about no copy. So this is kinda roundabout however there’s homotopy type theory which states that topology=logic=type theory. For a second let's say

Good point about no copy. So this is kinda roundabout however there’s homotopy type theory which states that topology=logic=type theory. For a second let's say that theres a fourth "element" in this equation and that's quaternions (this isn't a stretch I can provide some papers that hint at this). Linear logic is classical logic with the added reference to time without explicitly referencing time. Dual quaternions all about modeling deformation over time. Therefore, I would conclude that linear logic and dual quaternions are related.