On weakening the Deduction Theorem and strengthening Modus Ponens
- Bou, F.
- Font, J.M.
- Lapresta, J.L.G.
ISSN: 0942-5616
Année de publication: 2004
Volumen: 50
Número: 3
Pages: 303-324
Type: Article
ISSN: 0942-5616
Année de publication: 2004
Volumen: 50
Número: 3
Pages: 303-324
Type: Article