A Lattice-Theoretic Characterisation of Three-Valued Logic