algebraic logic
A sequentially-based mathematical logic system that assigns levels of power to mathematical operations.