Functional monadic ortholattices and locally finite σ-free polyadic ortholattices
Abstract
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-free reducts of the polyadic ortholattices, which we call locally finite -free polyadic ortholattices, and demonstrate that they stand in a one-to-one correspondence with the locally finite diagonal-free cylindric ortholattices.