Abstract
In this essay we develop a mathematical theory of syntactic domains with
special attention to the theory of government and binding. Starting from
an intrinsic characterization of command relations as defined in [Ba 90] we
determine the structure of the distributive lattice of command relations. This
allows to introduce implication and negation as constructors,
... read more