Orthomodular lattices can be converted into left residuated l-groupoids

  title={Orthomodular lattices can be converted into left residuated l-groupoids},
  author={Ivan Chajda and Helmut Langer},
  journal={Miskolc Mathematical Notes},
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. 
Negative Translations of Orthomodular Lattices and Their Logic
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,
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.
On residuation in paraorthomodular lattices
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.
Residuated Structures and Orthomodular Lattices
This work investigates the lattice of subvarieties of pointed left-residuated, develops a theory of left nuclei, and extends some parts of the theory of join-completions of residuated to the left- Residuated case, giving a new proof of MacLaren’s theorem for orthomodular lattices.
Residuation in modular lattices and posets
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
How to introduce the connective implication in orthomodular posets
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
Residuated operators in complemented posets
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,
Left residuated operators induced by posets with a unary operation
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.
Residuation in finite posets
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)
Weakly Orthomodular and Dually Weakly Orthomodular Lattices
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.


Orthomodular Lattices
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.
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.
Many-valued quantum algebras
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
Orthomodular Lattices: Algebraic Approach
I: Introduction.- II: Elementary Theory of Orthomodular Lattices.- 1. Ortholattices.- 2. Commutativity.- 3. Orthomodular lattices.- 4. Properties of commutativity in orthomodular lattices.- 5.
New trends in quantum structures
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.
Fuzzy Relational Systems: Foundations and Principles
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