Приказ основних података о документу

Intuitionistic Propositional Probability Logic

dc.creatorIlić-Stepić, Angelina
dc.creatorKnežević, Mateja
dc.creatorOgnjanović, Zoran
dc.date.accessioned2022-12-28T14:03:35Z
dc.date.available2022-12-28T14:03:35Z
dc.date.issued2022
dc.identifier.issn0942-5616
dc.identifier.urihttps://grafar.grf.bg.ac.rs/handle/123456789/2961
dc.description.abstractWe give sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators, unlike other works on this topic, is also intuitionistic, that is, measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our logic which is a combination of linear programming and an intuitionistic tableaux method.sr
dc.language.isoensr
dc.rightsrestrictedAccesssr
dc.sourceMathematical Logic Quarterlysr
dc.subjectintuitionistic logicsr
dc.subjectprobability extensionssr
dc.subjectcompletenesssr
dc.subjectdecidabilitysr
dc.titleIntuitionistic Propositional Probability Logicsr
dc.typearticlesr
dc.rights.licenseARRsr
dc.citation.rankM23~
dc.citation.volume68
dc.identifier.doi10.1002/malq.202100052
dc.type.versionpublishedVersionsr


Документи

Thumbnail
Име:
IPPLmlq-tpl.pdf
Величина:
257.1Kb
Формат:
PDF
Отварање

Овај документ се појављује у следећим колекцијама

Приказ основних података о документу