Reversibilità e bi-logica