Valid Logic Systems