# Negative Translations of Orthomodular Lattices and Their Logic

@article{Fussner2021NegativeTO, title={Negative Translations of Orthomodular Lattices and Their Logic}, author={Wesley Fussner and Gavin St. John}, journal={Electronic Proceedings in Theoretical Computer Science}, year={2021} }

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…

## 2 Citations

### Polyatomic Logics and Generalised Blok-Esakia Theory

- Computer Science
- 2022

It is shown how Polyatomic Logics can serve as a natural setting to develop a very general Blok-Esakia theory for a wide class of interesting translations.

### Logical aspects of quantum structures

- Economics
- 2021

We survey several problems related to logical aspects of quantum structures. In particular, we consider problems related to completions, decidability and axiomatizability, and embedding problems. The…

## References

SHOWING 1-10 OF 19 REFERENCES

### Left residuated lattices induced by lattices with a unary operation

- MathematicsSoft Comput.
- 2020

A variety of lattices with a unary operation which contains exactly those lattices which can be converted into a left residuated lattice by use of the above mentioned operations.

### Orthomodular lattices can be converted into left residuated l-groupoids

- Mathematics
- 2017

We show that every orthomodular lattice can be considered as a left residuated l-groupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in…

### Glivenko theorems for substructural logics over FL

- PhilosophyJournal of Symbolic Logic
- 2006

It is shown that for every involutive substructural logic there exists a minimum substructureural logic that contains the first via a double negation interpretation through Glivenko's theorem.

### Residuated lattices: An algebraic glimpse at sub-structural logics

- Mathematics
- 2007

This book considers both the algebraic and logical perspective within a common framework, and shows how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones.

### Algebraic Aspects of Orthomodular Lattices

- Mathematics
- 2000

In this survey article we try to give an up-to-date account of certain aspects of the theory of ortholattices (abbreviated OLs), orthomodular lattices (abbreviated OMLs) and modular ortholattices…

### Orthmodular lattices whose MacNeille completions are not orthomodular

- Mathematics
- 1991

AbstractThe only known example of an orthomodular lattice (abbreviated: OML) whose MacNeille completion is not an OML has been noted independently by several authors, see Adams [1], and is based on a…

### Quantum Implication Algebras

- Physics
- 2003

Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication, and…

### Free Ortholattices

- MathematicsCanadian Journal of Mathematics
- 1976

It has been known for some time but does not seem to be anywhere in the literature that the variety of all ortholattices is generated by its finite members (see (4.2) of this paper). This is well…

### Weaker forms of associativity in orthomodular lattices

- Mathematics
- 2015

Computations in orthomodular lattices are rather difficult because there is no known analogue of the standard disjunctive or conjunctive forms from boolean algebras. Tools admitting simplifications…