Quasicomplemented lattices William H. Cornish (1974) Commentationes Mathematicae Universitatis Carolinae