On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion Romà J. AdillonVentura Verdú OriginalPaper Pages: 11 - 30
Linearization of the BCK-logic Francisco M. García OlmedoAntonio J. Rodríguez Salas OriginalPaper Pages: 31 - 51
Protoalgebraic Gentzen Systems and the Cut Rule Àngel J. GilJordi Rebagliato OriginalPaper Pages: 53 - 89
Algebraic Characterizations of Various Beth Definability Properties Eva Hoogland OriginalPaper Pages: 91 - 112
Algebras and Matrices for Annotated Logics R.A. LewinI.F. MikenbergM.G. Schwarze OriginalPaper Pages: 137 - 153