 the
truth concept lattice or the &#8220;<span style="font-style: italic;">lattice
of
theories</span>&#8221; (see Figure 2a). The IFF represents these formal
concepts in
terms of their intents, which are elements of the set <span
 style="font-family: arial; font-style: italic;">cloth</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) of
closed theories of the language. The collection of instances <span
 style="font-family: arial; font-style: italic;">mod</span>(<span
 style="font-style: 