A Constructive Proof of a Theorem in Relevance Logic

Aleksandar Kron. A Constructive Proof of a Theorem in Relevance Logic. Math. Log. Q., 31(25-28):423-430, 1985. [doi]

Abstract

Abstract is missing.