A short postulate-system for ortholattices

Boleslaw Sobocinski. A short postulate-system for ortholattices. Notre Dame Journal of Formal Logic, 16(1):141-144, 1975. [doi]

Abstract

Abstract is missing.