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

@article{Chajda2017OrthomodularLC, title={Orthomodular lattices can be converted into left residuated l-groupoids}, author={Ivan Chajda and Helmut Langer}, journal={Miskolc Mathematical Notes}, year={2017}, volume={18}, pages={685} }

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 the language of residuated structures. Also conversely, every left residuated l-groupoid satisfying the mentioned conditions can be organized into an orthomodular lattice.

#### 15 Citations

Negative Translations of Orthomodular Lattices and Their Logic

- Mathematics, Physics
- Electronic Proceedings in Theoretical Computer Science
- 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,… Expand

Left residuated lattices induced by lattices with a unary operation

- Computer Science, Mathematics
- Soft 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. Expand

Residuated Structures and Orthomodular Lattices

- Computer Science, Mathematics
- Stud Logica
- 2021

The variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., $$\ell $$
ℓ
-groups, Heyting algebras, MV-algebras,… Expand

On residuation in paraorthomodular lattices

- Computer Science, Mathematics
- Soft Comput.
- 2020

This paper starts the investigation of material implications in paraorthomodular lattices by showing that any bounded modular lattice with antitone involution A can be converted into a left-residuated groupoid if it satisfies a strengthened form of regularity. Expand

Residuation in modular lattices and posets

- Mathematics
- Asian-European Journal of Mathematics
- 2019

We show that every complemented modular lattice can be converted into a left residuated lattice where the binary operations of multiplication and residuum are term operations. The concept of an… Expand

How to introduce the connective implication in orthomodular posets

- Mathematics
- 2019

Since orthomodular posets serve as an algebraic axiomatization of the logic of quantum mechanics, it is a natural question how the connective of implication can be defined in this logic. It should be… Expand

Residuated operators in complemented posets

- Mathematics
- Asian-European Journal of Mathematics
- 2018

Using the operators of taking upper and lower cones in a poset with a unary operation, we define operators [Formula: see text] and [Formula: see text] in the sense of multiplication and residuation,… Expand

Left residuated operators induced by posets with a unary operation

- Mathematics, Computer Science
- Soft Comput.
- 2019

Modifications of so-called quantum structures, in particular orthomodular posets, like pseudo-orthomodULAR, pseudo-Boolean and Boolean posets are investigated here in order to show that they are operator left residuated or even operator residuated. Expand

Residuation in finite posets

- Mathematics
- 2019

Abstract When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce implication to be everywhere defined and satisfying (left)… Expand

Weakly Orthomodular and Dually Weakly Orthomodular Lattices

- Mathematics, Computer Science
- Order
- 2018

It turns out that lattices being both weakly orthomodular and dually weakly Orthmodular are in fact complemented but the complementation need not be neither antitone nor an involution. Expand

#### References

SHOWING 1-6 OF 6 REFERENCES

Orthomodular Lattices

- Computer Science
- Formaliz. Math.
- 2008

The main result of the article is the solution to the problem of short axiomatizations of orthomodular ortholattices by giving a set of three equations which is equivalent to the classical, much longer equational basis of such a class. Expand

Residuated lattices: An algebraic glimpse at sub-structural logics

- Computer Science, 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. Expand

Many-valued quantum algebras

- Mathematics
- 2009

Abstract.We deal with algebras $${\bf A} = (A, \oplus, \neg, 0)$$ of the same signature as MV-algebras which are a common extension of MV-algebras and orthomodular lattices, in the sense that (i) A… Expand

Orthomodular Lattices: Algebraic Approach

- Mathematics
- 1985

I: Introduction.- II: Elementary Theory of Orthomodular Lattices.- 1. Ortholattices.- 2. Commutativity.- 3. Orthomodular lattices.- 4. Properties of commutativity in orthomodular lattices.- 5.… Expand

New trends in quantum structures

- Mathematics
- 2000

Preface. Introduction. 1. D-posets and Effect Algebras. 2. MV-algebras and QMV-algebras. 3. Quotients of Partial Abelian Monoids. 4. Tensor Product of D-Posets and Effect Algebras. 5. BCK-algebras.… Expand

Fuzzy Relational Systems: Foundations and Principles

- Mathematics
- 2002

From the Publisher:
Fuzzy Relational Systems: Foundations and Principles presents a general theory of fuzzy relational systems and concentrates on selected general issues of fuzzy relational… Expand