Foreword
On a Contraction-less Intuitionistic Propositional Logic with Conjunction and Fusion*
Linearization of the BCK-logic*
Protoalgebraic Gentzen Systems and the Cut Rule
Algebraic Characterizations of Various Beth Definability Properties*
Varieties of Pseudo-Interior Algebras
Algebras and Matrices for Annotated Logics*