ABSTRACT
LARISA MAKSIMOVA Institute of Mathematics, Siberian Division of Russian Academy of Sciences, 630090, Novosibirsk, Russia ImaksiOmath.nsc.ru
We herein study analogs of Beth's theorem on implicit definability [1] as well as Craig's interpolation property CIP in the family E( J) of extensions of Johansson's minimal logic J [2].
