A b s t r a c t. 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.

Back to Main Menu