On weakening the Deduction Theorem and strengthening Modus Ponens
Félix Bou, Josep Maria Font, José Luis García LaprestaVolume:
50
Year:
2004
Language:
english
Pages:
22
DOI:
10.1002/malq.200410001
File:
PDF, 284 KB
english, 2004