Geodesic
The resolution tableau for logics of likelihood
Kragujevac Journal of Mathematics, Tome 23 (2001) no. 1.

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. 
@article{KJM_2001_23_1_a12,
     author = {Zoran Ognjanovi\'c},
     title = {The resolution tableau for logics of likelihood},
     journal = {Kragujevac Journal of Mathematics},
     pages = {107 - 117},
     publisher = {mathdoc},
     volume = {23},
     number = {1},
     year = {2001},
     url = {http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/}
}
TY  - JOUR
AU  - Zoran Ognjanović
TI  - The resolution tableau for logics of likelihood
JO  - Kragujevac Journal of Mathematics
PY  - 2001
SP  - 107 
EP  -  117
VL  - 23
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/
ID  - KJM_2001_23_1_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 - 117
%V 23
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/
%F KJM_2001_23_1_a12
Zoran Ognjanović. The resolution tableau for logics of likelihood. Kragujevac Journal of Mathematics, Tome 23 (2001) no. 1. http://geodesic.mathdoc.fr/item/KJM_2001_23_1_a12/