Functional monadic ortholattices and locally finite $\sigma$-free polyadic ortholattices
Logic
2025-06-11 v1
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 provide an analogous functional representation result.
Cite
@article{arxiv.2506.08271,
title = {Functional monadic ortholattices and locally finite $\sigma$-free polyadic ortholattices},
author = {Chun-Yu Lin and Joseph McDonald},
journal= {arXiv preprint arXiv:2506.08271},
year = {2025}
}