Negative Translations of Orthomodular Lattices and Their Logic

  title={Negative Translations of Orthomodular Lattices and Their Logic},
  author={Wesley Fussner and Gavin St. John},
  journal={Electronic Proceedings in Theoretical Computer Science},
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… 

Figures and Tables from this paper

Polyatomic Logics and Generalised Blok-Esakia Theory

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

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



Left residuated lattices induced by lattices with a unary operation

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

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

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

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

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

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

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

  • G. Bruns
  • Mathematics
    Canadian 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

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