Um sistema de Gentzen para cálculos com identidade parcial e universos abertos