The operator Logic