Geodesic
A Proof Procedure for the First Order Logic
Publications de l'Institut Mathématique, _N_S_45 (1989) no. 59, p. 3

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

A new proof procedure is given for the classical predicate logic which combines variants of the tableaux and resolution methods. Soundness and completeness of the resulting system are proved.
Classification : 03B10 03F07 
@article{PIM_1989_N_S_45_59_a0,
     author = {Miodrag Kapetanovi\'c and Aleksandar Krape\v{z}},
     title = {A {Proof} {Procedure} for the {First} {Order} {Logic}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {3 },
     publisher = {mathdoc},
     volume = {_N_S_45},
     number = {59},
     year = {1989},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1989_N_S_45_59_a0/}
}
TY  - JOUR
AU  - Miodrag Kapetanović
AU  - Aleksandar Krapež
TI  - A Proof Procedure for the First Order Logic
JO  - Publications de l'Institut Mathématique
PY  - 1989
SP  - 3 
VL  - _N_S_45
IS  - 59
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1989_N_S_45_59_a0/
LA  - en
ID  - PIM_1989_N_S_45_59_a0
ER  - 
%0 Journal Article
%A Miodrag Kapetanović
%A Aleksandar Krapež
%T A Proof Procedure for the First Order Logic
%J Publications de l'Institut Mathématique
%D 1989
%P 3 
%V _N_S_45
%N 59
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1989_N_S_45_59_a0/
%G en
%F PIM_1989_N_S_45_59_a0
Miodrag Kapetanović; Aleksandar Krapež. A Proof Procedure for the First Order Logic. Publications de l'Institut Mathématique, _N_S_45 (1989) no. 59, p. 3 . http://geodesic.mathdoc.fr/item/PIM_1989_N_S_45_59_a0/