Boolean-valued semantics

Redirect to:

• Algebraic semantics (mathematical logic)