The resolution tableau for logics of likelihood
Kragujevac Journal of Mathematics (2001)
- Volume: 23, Issue: 23, page 107-117
- ISSN: 1450-9628
Access Full Article
top
How to cite
topZoran Ognjanović. "The resolution tableau for logics of likelihood." Kragujevac Journal of Mathematics 23.23 (2001): 107-117. <http://eudml.org/doc/253213>.
@article{ZoranOgnjanović2001,
author = {Zoran Ognjanović},
journal = {Kragujevac Journal of Mathematics},
keywords = {logic of likelihood; tableau; resolution},
language = {eng},
number = {23},
pages = {107-117},
publisher = {Prirodno-matematički fakultet Kragujevac},
title = {The resolution tableau for logics of likelihood},
url = {http://eudml.org/doc/253213},
volume = {23},
year = {2001},
}
TY - JOUR
AU - Zoran Ognjanović
TI - The resolution tableau for logics of likelihood
JO - Kragujevac Journal of Mathematics
PY - 2001
PB - Prirodno-matematički fakultet Kragujevac
VL - 23
IS - 23
SP - 107
EP - 117
LA - eng
KW - logic of likelihood; tableau; resolution
UR - http://eudml.org/doc/253213
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.