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.