αρχείο Email: Lattices to logic /