Publications de l'Institut Mathematique 2007 Issue 96, Pages: 93-97
doi:10.2298/PIM0796093K
Full text ( 105 KB)


Analytic tableaux and interpolation

Kapetanović Miodrag

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.

More data about this article available through SCIndeks