Functional monadic ortholattices and locally finite $\ddot{I}ƒ$-free polyadic ortholattices

Chun-Yu Lin, Joseph McDonald

In this paper, we show that every monadic ortholattice is isomorphic to a functional one, thereby resolving a recent question posed by Harding. We then study certain substitution-f…