Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms

Introduction; – Preliminaries; – The Associative Case; – The Non-Associative Case; – Hilbert-Style Formalism.