noun
or semantic theory
: a rule of translation by which a statement (as “the sentence ‘grass is green’ is true”) in a metalanguage is logically equivalent to a corresponding statement (as “grass is green”) in an object language ; also : a theory that defines truth as a logical conjunction of the infinite number of such equivalences