On weakening the Deduction Theorem and strengthening Modus Ponens
- Bou, F.
- Font, J.M.
- Lapresta, J.L.G.
ISSN: 0942-5616
Ano de publicación: 2004
Volume: 50
Número: 3
Páxinas: 303-324
Tipo: Artigo
ISSN: 0942-5616
Ano de publicación: 2004
Volume: 50
Número: 3
Páxinas: 303-324
Tipo: Artigo