Pretraživanje
Prikaz rezultata 1-1 od 1
Intuitionistic Propositional Probability Logic
(Mathematical Logic Quarterly, 2022)
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 ...