Lattice-Valued Logic - sidottu, Englanti, 2003