On weakening the Deduction Theorem and strengthening Modus Ponens
- Bou, F.
- Font, J.M.
- Lapresta, J.L.G.
ISSN: 0942-5616
Any de publicació: 2004
Volum: 50
Número: 3
Pàgines: 303-324
Tipus: Article
ISSN: 0942-5616
Any de publicació: 2004
Volum: 50
Número: 3
Pàgines: 303-324
Tipus: Article