Lattice-Valued Logic - nidottu, Englanti, 2010