A form of feasible interpolation for constant depth frege systems

Abstract

We define a model-theoretic principle for which a form of feasible interpolation is valid in constant depth Frege systems.

Keywords

• form
• feasible
• interpolation
• for
• constant
• depth
• frege
• systems