pith. sign in

arxiv: 1905.05496 · v1 · pith:Q7KWTGN7new · submitted 2019-05-14 · 🧮 math.LO

Residuation in lattice effect algebras

classification 🧮 math.LO
keywords latticealgebraeveryquasiresiduatedpseudoeffecteffectalgebrasassigned
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Unsharp residuation in effect algebras

    math.LO 2019-07 unverdicted novelty 6.0

    Introduces unsharp residuated posets using LU-cones and proves they correspond to effect algebras or pseudoeffect algebras based on commutativity.