span
 style="font-weight: bold; font-style: italic;">L</span>) &#8594; <span
 style="font-family: arial; font-style: italic;">truth</span>(<span
 style="font-style: italic; font-weight: bold;">&#321;</span>)</p>
<p>from the truth concept lattice of theories over <span
 style="font-weight: bold; font-style: italic;">L</span> to the truth
concept lattice of theories over <span
 style="font-style: italic; font-weight: bold;">&#321;</span>.</p>
<h2><a name="Semantic_Integration"></a>Semantic Integration</h2>
<p