Negative Translations of Orthomodular Lattices and Their Logic

Fussner, Daniel; St. John, Gavin (2021). Negative Translations of Orthomodular Lattices and Their Logic (arXiv 343). Cornell University 10.4204/EPTCS.343.3

Text 2106.03656v2.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (161kB)

We introduce residuated ortholattices as a generalization of—and environment for the investigation of—orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices as those residuated ortholattices whose residual operation is term-definable in the involutive lattice signature, and demonstrate that residuated ortholattices are the equivalent algebraic semantics of an algebraizable propositional logic. We also show that orthomodular lattices may be interpreted in residuated ortholattices via a translation in the spirit of the double-negation translation of Boolean algebras into Heyting algebras, and conclude with some remarks about decidability.

Interest & Impact

Downloads

1 since deposited on 28 Mar 2022
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item