Algebraic Logic Protocol Design | Algebraic Logic | Logic | NEROS