Boolean-Valued Model Analysis Protocol Design | Boolean-Valued Model Analysis | Mathematics | NEROS