An Intriguing Logic with Two Implicational Connectives

Lloyd Humberstone. An Intriguing Logic with Two Implicational Connectives. Notre Dame Journal of Formal Logic, 41(1):1-40, 2000.

Abstract

Abstract is missing.