Abstract

It is shown that the variety of ortholattices is super-amalgamable. From this fact, it is proved, by an algebraic argument, that the minimum orthologic and its first order predicate extension have the Craig's interpolation property.