Text this: UM CÁLCULO DE SEQUENTES A PARTIR DO SISTEMA TRIVALENTE E FRACAMENTE INTUICIONISTA I1