A treatise on many-valued logics