A Finitely Generated Modular Ortholattice
Christian Herrmann · Canadian Mathematical Bulletin · 1981
By an ortholattice we mean a lattice with 0 and 1 and a complementation operation which is an involutorial antiautomorphism. The free modular ortholattice on two generators has 96 elements—cf. J. Kotas [8].