Boolean-valued second-order logic
scientific article