Definability and Interpolation in Extensions of Johansson's Minimal Logic
Larisa Lvovna Maksimova · 2002
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;s theorem on implicit definability [1] as well as Craig&s;s interpolation property CIP in the family E( J) of extensions of Johansson&s;s minimal logic J [2].