Text this: Sobre a existência de semântica finita para os fragmentos da lógica intuicionista