Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Anelina Ilić‐Stepić"'
Publikováno v:
Mathematical Logic Quarterly
We 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 o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f3e7aa522f1a9066c6c8554c44c7533d
https://grafar.grf.bg.ac.rs/handle/123456789/2961
https://grafar.grf.bg.ac.rs/handle/123456789/2961