Text this: Aproximación a la lógica lineal intuicionista proposicional como una institución