Abstract:

This paper explores the interpolation problem over the minimal logic J. We consider two extensions of the minimal logic J. Using algebraic criteria for interpolation properties, we prove that one of these logics has the Craig's interpolation property CIP, while the other does not, but has the IPR property.