În lucrare se prezintă diagramele a nouă latici finite. Pentru fiecare dintre aceste latici s-au construit logici implicaţionale concrete care generează laticea dată.