On weakening the Deduction Theorem and strengthening of Modus Ponens

• Autores: F. Bou, J. M. Font, J. L. G. Lapresta
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 50, Nº 3, 2004, pág. 303
• Idioma: inglés
• Texto completo no disponible (Saber más ...)