Realizational formula

A realizational formula is the type of algebraic statement that is appropriate for the description of structural relationships according to stratificational theory. A realizational formula bears a superficial resemblance to a rewrite rule. But unlike rewrite or mutation rules in a process description, realization formulae are not necessarily ordered. For example, a pair of formulae may be allowed to operate simultaneously, or they may be allowed to operate in either of the two possible orders.

Source

• Lamb, Sydney M., Language and Reality: Selected Writings of Sydney Lamb, Continuum, 2004.