A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.

Jordi Rebagliato Ventura Verdú A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. 61-68 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#RebagliatoV94