Argonne National Laboratory

A Concise Axiomatization of RM{sub ->}

TitleA Concise Axiomatization of RM{sub ->}
Publication TypeReport
Year of Publication2001
AuthorsErnst, Z, Fitelson, B, Harris, K, Wos, L
Series TitleBulletin of the Section of Logic
Date Published09/2001
Other NumbersANL/MCS-P918-0901

Let R be the system of relevant implication, and let R{sub ->} be its implicational fragment. R{sub ->} is given by independent axiom-schema with the rules modus ponens and substitution: (1) Cpp (2) CCpqCCqrCpr (3) CpCCpqq (4) CCpCpqCpq