as prologics forms the <span style="font-style: italic;">restriction
</span>generalized inverse <span style="font-family: arial;">&#961;</span>.
A logic
infomorphism from source logic to target logic is a theory morphism
along the theory aspect and a model infomorphism along the model aspect
that share a common type language morphism. The context of logics
<span style="font-family: arial; font-weight: bold;">Logic</span>
consists of all logics and their infomorphisms.<br>
<br>
Any theory forms a free logic 