An introduction to many-valued logics. (2019)