Search
Now showing items 1-4 of 4
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 ...
On the Generalized Strongly Nil - Clean Property of the Matrix Rings
(World Scientific Publishing Company, 2021)
Let R be an associative unital ring and not necessarily commutative. We
analyzes conditions under which every n×n matrix A over R is expressible as a sum
A = E1 + ... +Es +N of (commuting) idempotent matrices Ei and a ...
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)