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
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

Page view(s)

checked on Dec 7, 2023

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.