Replacing modus ponens with one-premiss rules

Ian Lloyd Humberstone

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)
Original languageEnglish
Pages (from-to)431 - 451
Number of pages21
JournalLogic Journal of the IGPL
Volume16
Publication statusPublished - 2008

Cite this