logical resolution Synonym