State BCK-algebras and State-Morphism BCK-algebras

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 probabilistic reasoning. We present a relation between state operators and state-morphism operators and measures and states on BCK...

Full description

Saved in:
Bibliographic Details
Main Authors Borzooei, R. A, Dvurečenskij, A, Zahiri, O
Format Journal Article
LanguageEnglish
Published 25.04.2013
Subjects
Online AccessGet full text

Cover

Loading…