Monadic ortholattices: completions and duality

John Harding, Joseph McDonald, Miguel Peinado

We show that the variety of monadic ortholattices is closed under MacNeille and canonical completions. In each case, the completion of $L$ is obtained by forming an associated dual…