Publications de l'Institut Mathematique 2007 Issue 96, Pages: 93-97
Full text ( 105 KB)
Analytic tableaux and interpolation
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.