Text this: Many-valued logics