Variation on a Poincaré theorem

The classical Poincaré recurrence theorem in a probability space ( Ω , S , P ) states that for any A ∈ S and any measure preserving map T : Ω → Ω almost every point of A returns to A infinitely many times [9]. Here variations of the theorem are presented inspired by MV-algebras.