Lattice pseudo-effect algebras as double residuated structures

Details Lattice pseudo-effect algebras as double residuated structures Lattice pseudo-effect algebras as double residuated structures

2010-06-15

arxiv.org/abs/1006.3223v2

Mathematics

Rings and Algebras

Scientific paper

Pseudo-effect algebras are partial algebraic structures, that were introduced as a non-commutative generalization of effect algebras. In the present paper, lattice ordered pseudo-effect algebras are considered as possible algebraic non-commutative analogs of non-commutative non-standard reasoning. To this aim, the interplay among conjunction, implication and negation connectives is studied. It turns out that in the non-commutative reasoning, all these connectives are doubled. In particular, there are two negations and two pairs consisting of conjunction and implication, related by residuation laws. The main result of the paper is a characterization of lattice pseudo-effect algebras in terms of so-called pseudo Sasaki algebras. We also show that all pseudo-effect algebras can be characterized in terms of certain partially defined double residuated structures.

Affiliated with

Also associated with

No associations

Rating

Lattice pseudo-effect algebras as double residuated structures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Lattice pseudo-effect algebras as double residuated structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lattice pseudo-effect algebras as double residuated structures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-105762