6 citations · 6 across the 1 of their papers we have counts for
2 papers
math.LO2021★ 6 cited
Negative Translations of Orthomodular Lattices and Their Logic
Wesley Fussner, Gavin St. John
We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts re…
math.LO2018
Residuation algebras with functional duals
Wesley Fussner, Alessandra Palmigiano
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated t…