Adjoining units to residuated Boolean algebras P. JipsenB. JónssonJ. Rafter OriginalPaper Pages: 118 - 127
Gentzen-style axiomatizations in equational logic K. PalasińskaD. Pigozzi OriginalPaper Pages: 128 - 143