DC FieldValueLanguage
dc.contributor.authorMarković, Zoran-
dc.contributor.authorOgnjanović, Zoran-
dc.contributor.authorRašković, Miodrag-
dc.date.accessioned2020-06-15T15:22:44Z-
dc.date.available2020-06-15T15:22:44Z-
dc.date.issued2003-
dc.identifier.issn0350-1302-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/3006-
dc.description.abstractA probabilistic extension of intuitionistic logic is introduced. The corresponding completeness and decidability theorems are proven.-
dc.publisherMathematical Institute of the SASA-
dc.relationMethods of Mathematical Logic for Decision Support in Real Life Situations-
dc.relation.ispartofPublications de l'Institut Mathematique-
dc.titleAn intuitionistic logic with probabilistic operators-
dc.typeArticle-
dc.identifier.urlhttp://elib.mi.sanu.ac.rs/files/journals/publ/93/n087p031.pdf-
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage31-
dc.relation.lastpage38-
dc.relation.issue87-
dc.relation.volume73-
dc.description.rankM24-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

56
checked on May 9, 2024

Google ScholarTM

Check


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