DC FieldValueLanguage
dc.contributor.authorOgnjanović, Zoranen_US
dc.contributor.authorPerović, Aleksandaren_US
dc.contributor.authorIlić Stepić, Angelinaen_US
dc.date.accessioned2023-12-25T10:11:48Z-
dc.date.available2023-12-25T10:11:48Z-
dc.date.issued2022-
dc.identifier.issn0350-1302-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/5260-
dc.description.abstractA 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.publisherMathematical Institute of the Sebian Academy of Sciences and Artsen_US
dc.relation.ispartofPublications de l'Institut Mathématiqueen_US
dc.subjectintuitionistic logic | probability operators | proof procedureen_US
dc.titleTableau For the Logic ILPen_US
dc.typeArticleen_US
dc.identifier.doi2-s2.0-85143786915-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Artsen_US
dc.relation.firstpage1-
dc.relation.lastpage11-
dc.relation.issue126-
dc.relation.volume112-
dc.description.rankM24-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2508-6480-
crisitem.author.orcid0000-0002-9771-1196-
Show simple item record

Page view(s)

40
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.