Boolean-valued semantics