@MISC{Carbone96thecraig, author = {A. Carbone}, title = {The Craig Interpolation Theorem for Schematic Systems}, year = {1996} }

Bookmark

OpenURL

Abstract

The notion of Schematic System has been introduced by Parikh in the early seventies. It is a metamathematical notion describing the concept of deduction system and the operation of substitution of terms and formulas in it. We show a generalization of the Craig Interpolation Theorem for a natural class of schematic systems while we determine sufficient conditions for a schematic system to enjoy Interpolation.