As stated on the institutions homepage,
the concept of an institution formalizes, represents, implements and
translates the notion of "a logic".
This (meta) ontology will provide an axiomatization for the metatheory
of institutions.
[version20031002]
This is our first cut at the IFF axiomatization of institutions.
[version20041014]
This is our second cut at the IFF axiomatization of institutions.