Title: An introduction to many-valued logics