Free Ortholattices
Günter Bruns · Canadian Journal of Mathematics · 1976
It has been known for some time but does not seem to be anywhere in the literature that the variety of all ortholattices is generated by its finite members (see (4.2) of this paper). This is well known to imply that the word problem for free ortholattices is solvable. On the other hand, it is also known that the solution obtained this way is of no practical use. The main purpose of this paper is to present a workable solution.