| 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)