On defining multiple-valued logics for knowledge-based systems communication

Multiple-valued logics are useful for dealing with uncertainty and
imprecision in Knowledge-Based Systems. Different problems can require
different logics. Then we need mechanisms to translate the information
exchanged between two problems with different logics. In this paper,
we introduce the logical foundations of such logics and the
communication mechanisms that preserve some deductive properties. We
also describe a tool to assist users in the declaration of logics and
their communication mechanisms