Претраживање
Приказ резултата 1-1 од 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 ...