We do not currently know of any antonyms for many-sorted logics.
The noun many-sorted logics is defined as:
Did you mean logics?