Formalization in a Logical System Execution Protocol | Formalization in a Logical System | Mathematics | NEROS