The resolution tableau for logics of likelihood
Kragujevac Journal of Mathematics, Tome 23 (2001), p. 107 .

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

Kragujevac J. Math. 23 (2001) 107-117. THE RESOLUTION TABLEAU FOR LOGICS OF LIKELIHOODZoran OgnjanovicMatematicki institut, Kneza Mihaila 35, 11000 Beograd, Yugoslavia (Received May 15, 2001) Abstract. In this article we consider a proof procedure for logics of likelihood. The procedure relies on tableau-like and resolution-like inferences and is suitable for execution on parallel computers.
Keywords: logic of likelihood, tableau, resolution
@article{KJM_2001_23_a12,
     author = {Zoran Ognjanovi\'c},
     title = {The resolution tableau for logics of likelihood},
     journal = {Kragujevac Journal of Mathematics},
     pages = {107 },
     publisher = {mathdoc},
     volume = {23},
     year = {2001},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KJM_2001_23_a12/}
}
TY  - JOUR
AU  - Zoran Ognjanović
TI  - The resolution tableau for logics of likelihood
JO  - Kragujevac Journal of Mathematics
PY  - 2001
SP  - 107 
VL  - 23
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2001_23_a12/
LA  - en
ID  - KJM_2001_23_a12
ER  - 
%0 Journal Article
%A Zoran Ognjanović
%T The resolution tableau for logics of likelihood
%J Kragujevac Journal of Mathematics
%D 2001
%P 107 
%V 23
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2001_23_a12/
%G en
%F KJM_2001_23_a12
Zoran Ognjanović. The resolution tableau for logics of likelihood. Kragujevac Journal of Mathematics, Tome 23 (2001), p. 107 . http://geodesic.mathdoc.fr/item/KJM_2001_23_a12/