Donald Edward Catlin

1936

• Implicativity and irreducibility in orthomodular lattices