Caractérisations métriques des ensembles ordonnés semi-modulaires
The concept of a 0-distributive poset is introduced. It is shown that a section semicomplemented poset is distributive if and only if it is 0-distributive. It is also proved that every pseudocomplemented poset is 0-distributive. Further, 0-distributive posets are characterized in terms of their ideal lattices.
In their recent paper on posets with a pseudocomplementation denoted by the first and the third author introduced the concept of a -ideal. This concept is in fact an extension of a similar concept introduced in distributive pseudocomplemented lattices and semilattices by several authors, see References. Now we apply this concept of a c-ideal (dually, c-filter) to complemented posets where the complementation need neither be antitone nor an involution, but still satisfies some weak conditions....
An equivalent definition of compatibility in pseudo-effect algebras is given, and its relationships with central elements are investigated. Furthermore, pseudo-MV-algebras are characterized among pseudo-effect algebras by means of compatibility.