Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term

Czeslaw Lejewski. Formalization of functionally complete propositional calculus with the functor of implication as the only primitive term. Studia Logica, 48(4):479-494, 1989. [doi]

Abstract

Abstract is missing.