Entropy on effect algebras with the Riesz decomposition property I: Basic properties

We define the entropy, lower and upper entropy, and the conditional entropy of a dynamical system consisting of an effect algebra with the Riesz decomposition property, a state, and a transformation. Such effect algebras allow many refinements of two partitions. We present the basic properties of these entropies and these notions are illustrated by many examples. Entropy on MV-algebras is postponed to Part II.

[1]  Richard J. Greechie,et al.  Orthomodular Lattices Admitting No States , 1971 .

[2]  Beloslav Riečan,et al.  Probability on MV algebras , 1997 .

[3]  D. Foulis,et al.  Effect algebras and unsharp quantum logics , 1994 .

[4]  Jozefína Petrovicová,et al.  On the entropy of dynamical systems in product MV algebras , 2001, Fuzzy Sets Syst..

[5]  A. Dvurecenskij.  Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras , 2003, Journal of the Australian Mathematical Society.

[6]  DANIELE MUNDICI,et al.  Averaging the truth-value in Łukasiewicz logic , 1995, Stud Logica.

[7]  K. Goodearl.  Partially ordered abelian groups with interpolation , 1986 .

[8]  Anatolij Dvurečenskij,et al.  Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups , 2007, Journal of the Australian Mathematical Society.

[9]  D. Mundici.  Interpretation of AF -algebras in ukasiewicz sentential calculus , 1986 .

[10]  Anatolij Dvurecenskij,et al.  Entropy on effect algebras with Riesz decomposition property II: MV-algebras , 2005, Kybernetika.

[11]  L. Young.  Entropy in dynamical systems , 2003 .

[12]  George A. Elliott.  Review: K. R. Goodearl, Partially ordered abelian groups with interpolation , 1989 .

[13]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .

[14]  Jozefína Petrovicová.  On the entropy of partitions in product MV algebras , 2000, Soft Comput..

[15]  Sylvia Pulmannová,et al.  New trends in quantum structures , 2000 .

[16]  B. Riecan,et al.  Integral, Measure, and Ordering , 1997 .