Preferencias, Elección Social y Ayuda a la Decisión (PRESAD)
Universitat de Barcelona
Barcelona, EspañaPublicaciones en colaboración con investigadores/as de Universitat de Barcelona (1)
2004
-
On weakening the Deduction Theorem and strengthening Modus Ponens
Mathematical Logic Quarterly, Vol. 50, Núm. 3, pp. 303-324