A Treatise on Many-Valued Logics (Studies in Logic and Computation)