Ying, M 1995, 'Institutions of variable truth values: An approach in the ordered style', Journal of Computer Science and Technology, vol. 10, no. 3, pp. 267-273.
View/Download from: Publisher's site
View description>>
The concept of institution of variable truth values is introduced and some main results about institutions are generalized. In particular, some properties of institutions of variable truth values preserved by change of truth values are established. © 1995, Science Press, Beijing China and Allerton Press Inc.. All rights reserved.
Ying, M 1995, 'Putting consistent theories together in institutions', Journal of Computer Science and Technology, vol. 10, no. 3, pp. 260-266.
View/Download from: Publisher's site
View description>>
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. © 1995, Science Press, Beijing China and Allerton Press Inc.. All rights reserved.