We do not currently know of any antonyms for computability logic.
The noun computability logic is defined as: