Login / Signup

Replacing Modus Ponens With One-Premiss Rules.

Lloyd Humberstone
Published in: Log. J. IGPL (2008)
Keyphrases