Text this: Lattice-Valued Logic