Algebraic Logic Review and Validation Protocol | Algebraic Logic | Logic | NEROS