Analytic tableaux and interpolation
Miodrag Kapetanović · Publications de l Institut Mathematique · 2007
A tableau system for the predicate logic with countable conjunctions and disjunctions is presented and the completeness of the set of rules proved. These tableaux are used to prove a slightly more general form of the Malitz interpolation theorem.