Text this: A treatise on many-valued logics