Original language | English |
---|---|
Pages (from-to) | 431 - 451 |
Number of pages | 21 |
Journal | Logic Journal of the IGPL |
Volume | 16 |
Publication status | Published - 2008 |
Replacing modus ponens with one-premiss rules
Research output: Contribution to journal › Article › Research › peer-review
4
Citations
(Scopus)