Typ logiczny