Publications en collaboration avec des chercheurs de Universitat de Barcelona (1)

2004

  1. On weakening the Deduction Theorem and strengthening Modus Ponens

    Mathematical Logic Quarterly, Vol. 50, Núm. 3, pp. 303-324