Implication Connectives for Logics with Right Weakening.

Philippe Besnard, Yves Moinard

Browse the full IPMU paper archive.