Zobrazeno 1 - 2
of 2
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
Autor:
Ilić‐Stepić, Anelina1 (AUTHOR) angelina@mi.sanu.ac.rs, Knežević, Mateja2 (AUTHOR) knezevic.mateja@gmail.com, Ognjanović, Zoran1 (AUTHOR) zorano@mi.sanu.ac.rs
Publikováno v:
Mathematical Logic Quarterly. Nov2022, Vol. 68 Issue 4, p479-495. 17p.