Putting Consistent Theories Together in Institutions

Ying Mingsheng
DOI: https://doi.org/10.1007/bf02943493
1995-01-01
Abstract:The problem of putting consistent theories together in institutions is discussed. A general necessary condition for consistency of the resulting theory is carried out, and some sufficient conditions are given for diagrams of theories in which shapes are tree bundles or directed graphs. Moreover, some transformations from complicated cases to simple ones are established.
What problem does this paper attempt to address?