ial; font-weight: bold;">Theory</span><small
 style="font-family: arial;"><sup>&#8869;</sup></small> form the <span
 style="font-style: italic;">semantics
</span>generalized inverse <span style="font-family: arial;">&#956;</span>,
which links interpretative semantics of the
model
context with the axiomatic semantics of the theory context.<br>
</p>
<p>Any theory has a free logic, whose component theory is the original
theory and whose component model is the initial model over that theory.
For any logic the c