Replacing Modus Ponens With One-Premiss Rules

Lloyd Humberstone. Replacing Modus Ponens With One-Premiss Rules. Logic Journal of the IGPL, 16(5):431-451, 2008. [doi]

Abstract

Abstract is missing.