2 citations · 2 across the 1 of their papers we have counts for
1 paper
R. A. Borzooei, A. Dvurečenskij, O. Zahiri
In the paper, we define the notion of a state BCK-algebra and a state-morphism BCK-algebra extending the language of BCK-algebras by adding a unary operator which models probabilis…