Lattice-valued Logic by