Now showing items 1-1 of 1

    • Tableaux sin refutación. 

      Barrero, Tomás; Carnielli, Walter (2011-10-13)
      Usando como motivación la objeción de H. Curry y una propuesta de L. Henkin, el artículo introduce los tableaux positivos, una forma de tableaux sin refutación construidos a partir de la idea de trivialidad implicativa. ...