Логический тип