Properties of implication in effect algebras (Q2054647)

The authors introduce and study the implication (in a wider sence) in effect algebras given for subsets \(A,B\) by \(A \to B = A' + L(A,B)\) where \(L(A,B)\) is the set of lower bounds of \(A \cup B\). They show that this implication is connected with conjuction using an unsharp residuation in the corresponding strict unsharp residuated poset. Also, they study the modus ponens rule and the contraposition law for this implication.