D-Effect Algebra can Be Made into a D-Total Algebra
Ahmed Abd El-Monsef Allam · Mathematics Letters · 2017
In this paper we prove that every D-effect algebra (E, ∆, 0, 1) can be made into a D-total algebra (E, ⍍, ¬, 1) in such a way that two elements are compatible in (E, ∆, 0, 1) if and only if they commute in(E, ⍍, ¬, 1) where x ∆ y =(x' + y')'.