3.2 Finite Ortholattices

Back to the Main Page

Click on the numbers to see the structures.

Table 1: Number of Lattices (nonisomorphic)
Size of LatticeNumber of Lattices
OLWOMLOMLMOL BA
2 1 1 1 1 1
4 1 1 1 1 1
6 2 2 1 1 0
8 5 4 2 2 1
10 15 8 2 1 0
12 60 18 3 2 0
14 311 47 4 1 0
16 ? 135 7 3 1
18 ? ? 8 1 0
20 ? ? 14 2 0

These lattices were found with Mace4 and Isofilter. Mace4 generates all models of the specified size, but it usually produces many isomorphic models. Isofilter takes a stream of models and removes the isomorphic ones.

Here are the Mace4 input files and the corresponding scripts to generate the lattices in the table above.

Input File Script
OL.in go.OL
OML.in go.OML
MOL.in go.MOL
BA.in go.BA