We use cookies to improve your experience with our site.
Ying Mingsheng. Institutions of Variable Truth Values:An Approach in the Ordered Style[J]. Journal of Computer Science and Technology, 1995, 10(3): 267-273.
Citation:
Ying Mingsheng. Institutions of Variable Truth Values:An Approach in the Ordered Style[J]. Journal of Computer Science and Technology, 1995, 10(3): 267-273.
Ying Mingsheng. Institutions of Variable Truth Values:An Approach in the Ordered Style[J]. Journal of Computer Science and Technology, 1995, 10(3): 267-273.
Citation:
Ying Mingsheng. Institutions of Variable Truth Values:An Approach in the Ordered Style[J]. Journal of Computer Science and Technology, 1995, 10(3): 267-273.
Institutions of Variable Truth Values:An Approach in the Ordered Style
The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished.