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]

Authors

Boleslaw Sobocinski

This author has not been identified. Look up 'Boleslaw Sobocinski' in Google