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