An Introduction to Many-valued Logics