Lattice-valued logic | lit.salon