Residuation in lattice effect algebras
From MaRDI portal
Publication:2035280
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 1688754 (Why is no real title available?)
- scientific article; zbMATH DE number 2199279 (Why is no real title available?)
- Effect algebras and unsharp quantum logics.
- Effect algebras are conditionally residuated structures
- Pseudoeffect algebras. I: Basic properties
- Relatively residuated lattices and posets
- Residuated lattices. An algebraic glimpse at substructural logics
Cited in
(10)- Lattice pseudoeffect algebras as double residuated structures
- scientific article; zbMATH DE number 7536560 (Why is no real title available?)
- Stabilizer in residuated lattices
- A representation of skew effect algebras
- \(n\)-dimensional observables on \(k\)-perfect MV-algebras and \(k\)-perfect effect algebras. I: Characteristic points
- scientific article; zbMATH DE number 5125130 (Why is no real title available?)
- 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
- Residuated lattices and lattice 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)