Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Orthogonality relations and operators on bounded quasi-implication algebras
Joseph McDonald
In this note, we study various relational and algebraic aspects of the bounded quasi-implication algebras introduced by Hardegree. By generalizing the constructions given by MacLar…
math.LO2025
Functional monadic ortholattices and locally finite -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…