We use cookies to improve your experience with our site.
Ying Mingsheng. Putting Consistent Theories Together in Institutions[J]. Journal of Computer Science and Technology, 1995, 10(3): 260-266.
Citation: Ying Mingsheng. Putting Consistent Theories Together in Institutions[J]. Journal of Computer Science and Technology, 1995, 10(3): 260-266.

Putting Consistent Theories Together in Institutions

  • The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diagrams of theories inwhich shapes are tree bundles or directed graphs. Moreover, some transforma-tions from complicated cases to simple ones are established.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return