| Authors: | Kapetanović, Miodrag | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Analytic tableaux and interpolation | Journal: | Publications de l'Institut Mathematique | Issue: | 96 | First page: | 93 | Last page: | 97 | Issue Date: | 1-Dec-2007 | Rank: | M24 | ISSN: | 0350-1302 | DOI: | 10.2298/PIM0796093K | Abstract: | 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. |
Publisher: | Mathematical Institute of the SASA |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.