An Introduction to Many-Valued Logics