fragment (logics)