| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Ognjanović, Zoran | en_US |
| dc.contributor.author | Perović, Aleksandar | en_US |
| dc.contributor.author | Ilić Stepić, Angelina | en_US |
| dc.date.accessioned | 2023-12-25T10:11:48Z | - |
| dc.date.available | 2023-12-25T10:11:48Z | - |
| dc.date.issued | 2022 | - |
| dc.identifier.issn | 0350-1302 | - |
| dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/5260 | - |
| dc.description.abstract | A tableau system for a logic suitable for intuitionistic reasoning about probabilities is presented. Soundness and completeness of the system are proved. A decision procedure based on the tableau system is given. | en_US |
| dc.publisher | Mathematical Institute of the Sebian Academy of Sciences and Arts | en_US |
| dc.relation.ispartof | Publications de l'Institut Mathématique | en_US |
| dc.subject | intuitionistic logic | probability operators | proof procedure | en_US |
| dc.title | Tableau For the Logic ILP | en_US |
| dc.type | Article | en_US |
| dc.identifier.doi | 2-s2.0-85143786915 | - |
| dc.contributor.affiliation | Mathematics | en_US |
| dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | en_US |
| dc.relation.firstpage | 1 | - |
| dc.relation.lastpage | 11 | - |
| dc.relation.issue | 126 | - |
| dc.relation.volume | 112 | - |
| dc.description.rank | M24 | - |
| item.cerifentitytype | Publications | - |
| item.openairetype | Article | - |
| item.grantfulltext | none | - |
| item.fulltext | No Fulltext | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| crisitem.author.orcid | 0000-0003-2508-6480 | - |
| crisitem.author.orcid | 0000-0002-9771-1196 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.