A Treatise on Many-Valued Logics (STUDIES IN LOGIC AND COMPUTATION)

A growing interest in many-valued logics has developed over recent years, which to a large extent is based on applications, intended as well as already realised ones. These applications range from the field of computer science, e.g. in the areas of automated theorem proving, approximate reasoning, multi-agent systems, switching theory, and program verification, through the field of pure mathematics, e.g. in independence of consistency proofs, in generalised set theories, or in the theory of particular algebraic structures.