2025/06/09 by Chun-Yu Lin, Joseph McDonald, Lin, Chun-Yu +1 · 1 citation
Computer Science · Mathematics · #03G15 #06B23 #06C15 #08B25 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2506.08271
openalex publication_date 2025/06/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/02
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.