Formalizing Multiple-Valued Logics as Institutions

Jaume Agustí-Cullell, Francesc Esteva, Pere Garcia, Lluis Godo. Formalizing Multiple-Valued Logics as Institutions. In Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh, editors, Uncertainty in Knowledge Bases, 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 90, Paris, France, July 2-6, 1990, Proceedings. Volume 521 of Lecture Notes in Computer Science, pages 269-278, Springer, 1990.

Abstract

Abstract is missing.