Institutions of variable truth values: An approach in the ordered style

摘要

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.

出版物
Journal of Computer Science and Technology
应明生
应明生
教授