|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
checked on Dec 7, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.