%0 Journal Article %T Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus %A KURUCZ,, Á. %A NÉMETI,, I. %A SAIN,, I. %A SIMON,, A. %J Logic Journal of the IGPL %V 1 %N 1 %P 91-98 %@ 1367-0751 %D 1993-07-01 %I Oxford University Press %~ DeepDyve