2 papers
math.LO2009
State BL-algebras
Lavinia Corina Ciungu, Anatolij Dvurečenskij, Marek Hyčko
The concept of a state MV-algebra was firstly introduced by Flaminio and Montagna in \cite{FlMo0} and \cite{FlMo} as an MV-algebra with internal state as a unary operation. Di Nola…
math.LO2009
Measures, states and de Finetti maps on pseudo-BCK algebras
Lavinia Corina Ciungu, Anatolij Dvurečenskij
In this paper, we extend the notions of states and measures presented in \cite{DvPu} to the case of pseudo-BCK algebras and study similar properties. We prove that, under some cond…