Disciplinos, kuriose galioja argumentus ir operacijų nagrinėjami naudojant dirbtinė kalba, siekiant išvengti dviprasmybių ir loginis netinkamumą gamtinių kalbų.