| Authors: | Ognjanović, Zoran | Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | The resolution tableau for logics of likelihood | Journal: | Kragujevac Journal of Mathematics | Volume: | 23 | First page: | 107 | Last page: | 117 | Issue Date: | 2001 | Rank: | M52 | URL: | https://imi.pmf.kg.ac.rs/kjm/pub/12617276944378_kjom2313.pdf | Abstract: | In this article we consider a proof procedure for logic of likelihood. The procedure relies on tableau-like and resolution-like inferences and is suitable for execution on parallel computers. |
Publisher: | Faculty of Science, University of Kragujevac |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.