Found:
Binding
SYNTAX: A relation in which the reference of a certain element is dependent on the reference of another element. See Binding theory, Bind.
SEMANTICS: The relation obtaining between a quantifier All(v) or Exists(v) and the occurrences of the variable v in its scope:
(i) All(v)[ ... v ... ] (ii) Exists(v)[ ... v ... ]In the following formula only the first occurrence of x is bound by All but not the second (which is not in the scope of All):
(iii) All(x)[P(x) -> Q(y)] & R(x)The first occurrence of x is called a bound variable, the second occurrence is called a free variable.
| LIT. | Gamut, L.T.F. (1991) |