Geodesic
Analytic Tableaux and Interpolation
Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 93 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

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 then used to prove a slightly more general form of the Malitz interpolation theorem.
DOI : 10.2298/PIM0796093K
Classification : 03C40 03C75 03F99 
@article{10_2298_PIM0796093K,
     author = {Miodrag Kapetanovi\'c},
     title = {Analytic {Tableaux} and {Interpolation}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {93 },
     publisher = {mathdoc},
     volume = {_N_S_82},
     number = {96},
     year = {2007},
     doi = {10.2298/PIM0796093K},
     zbl = {1274.03060},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/PIM0796093K/}
}
TY  - JOUR
AU  - Miodrag Kapetanović
TI  - Analytic Tableaux and Interpolation
JO  - Publications de l'Institut Mathématique
PY  - 2007
SP  - 93 
VL  - _N_S_82
IS  - 96
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.2298/PIM0796093K/
DO  - 10.2298/PIM0796093K
LA  - en
ID  - 10_2298_PIM0796093K
ER  - 
%0 Journal Article
%A Miodrag Kapetanović
%T Analytic Tableaux and Interpolation
%J Publications de l'Institut Mathématique
%D 2007
%P 93 
%V _N_S_82
%N 96
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.2298/PIM0796093K/
%R 10.2298/PIM0796093K
%G en
%F 10_2298_PIM0796093K
Miodrag Kapetanović. Analytic Tableaux and Interpolation. Publications de l'Institut Mathématique, _N_S_82 (2007) no. 96, p. 93 . doi : 10.2298/PIM0796093K. http://geodesic.mathdoc.fr/articles/10.2298/PIM0796093K/

Cité par Sources :