Residuation in lattice effect algebras

DOI10.1016/J.FSS.2019.11.008zbMATH Open1464.03095arXiv1905.05496OpenAlexW2990999098MaRDI QIDQ2035280FDOQ2035280

Ivan Chajda, Helmut Länger

Publication date: 24 June 2021

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Abstract: We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a lattice effect algebra and every lattice effct algebra can be reconstructed form its assigned quasiresiduated lattice. We apply this method also for lattice pseudoeffect algebras introduced recently by Dvurecenskij and Vetterlein. We show that every good lattice pseudoeffect algebra can be organized into a (possibly non-commutative) quasiresiduated lattice with divisibility and conversely, every such a lattice can be converted into a lattice pseudoeffect algebra. Moreover, also a good lattice pseudoeffect algebra can be reconstructed from the assigned quasiresiduated lattice.

Full work available at URL: https://arxiv.org/abs/1905.05496

zbMATH Keywords

divisibilitylattice effect algebralattice pseudoeffect algebraquasiadjointnessquasiresiduated lattice

Mathematics Subject Classification ID

Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15)

Cites Work

• Effect algebras and unsharp quantum logics.
• Pseudoeffect algebras. I: Basic properties
• Residuated lattices. An algebraic glimpse at substructural logics
• Effect algebras are conditionally residuated structures
• Relatively residuated lattices and posets
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Stabilizer in residuated lattices
• \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. I: Characteristic points
• Title not available (Why is that?)
• Convexity-preserving properties of partial binary operations with respect to filter convex structures on effect algebras
• Properties of implication in effect algebras
• Interval convexity of scale effect algebras

This page was built for publication: Residuation in lattice effect algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2035280)