On weakening the Deduction Theorem and strengthening Modus Ponens
- Bou, F.
- Font, J.M.
- Lapresta, J.L.G.
ISSN: 0942-5616
Year of publication: 2004
Volume: 50
Issue: 3
Pages: 303-324
Type: Article
ISSN: 0942-5616
Year of publication: 2004
Volume: 50
Issue: 3
Pages: 303-324
Type: Article