Resumen de On the structure of intuitionistic algebras with relational probabilites.

Francisco Esteva

• Trillas ([1]) has defined a relational probability on an intuitionistic algebra and has given its basic properties. The main results of this paper are two. The first one says that a relational probability on a intuitionistic algebra defines a congruence such that the quotient is a Boolean algebra. The second one shows that relational probabilities are, in most cases, extensions of conditional probabilities on Boolean algebras.