Use of formal languages of mathematics and formal logic to describe natural languages. The advantage of formalization as opposed to nonformalized descriptions is the greater explicitness of the vocabulary (=terminology), precision and economy, as well...

n. The embedding of a linguistic description into a formalism. V....

In formal logic, a formal system consists of a formal language and a set of inference rules, used to derive (to conclude) one expression from one or more other expressions (premises) antecedently supposed (axioms) or derived (theorems). A formal system...