Претраживање
Приказ резултата 1-3 од 3
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 ...
Univalence of certain transform of univalent functions
(Bulgarian Academy of Sciences, 2023)
Certain properties of the class of univalent functions with real coefficients
(Korean Mathematical Society, 2023)