Eva Hoogland

Learn More
abstract. In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the £-modality easily follow from this result. Furthermore , these properties are extended to the system ILP. Failure of arrow interpolation for(More)
In this article we establish interpolation for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the-modality easily follow from this. Furthermore, these properties are extended to the system ILP. The related issue of Beth Deenability is also addressed. As(More)
In the present paper we will show that the Beth deenability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. Furthermore, we will give an equally general characterization of the weak Beth deenability property, hereby giving a solution to Problem 14 in Sa 88]. Finally, we will present two counterexamples showing that two of(More)
abstract. In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the-modality easily follow from this result. Furthermore , these properties are extended to the system ILP. Failure of arrow interpolation for(More)
  • 1