Skip to main content
Log in

States on EMV-algebras

  • Foundations
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

We define a state as a [0, 1]-valued, finitely additive function attaining the value 1 on an EMV-algebra, which is an algebraic structure close to MV-algebras, where the top element is not assumed. The state space of an EMV-algebra is a convex space that is not necessarily compact, and in such a case, the Krein–Mil’man theorem cannot be used. Nevertheless, we show that the set of extremal states generates the state space. We show that states always exist and the extremal states are exactly state-morphisms. Nevertheless, the state space is a convex space that is not necessarily compact; a variant of the Krein–Mil’man theorem, saying states are generated by extremal states, is proved. We define a weaker form of states, pre-states and strong pre-states, and also Jordan signed measures which form a Dedekind complete \(\ell \)-group. Finally, we show that every state can be represented by a unique regular Borel probability measure, and a variant of the Horn–Tarski theorem is proved.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

Download references

Funding

Author A.D. has received research Grants from the Slovak Research and Development Agency under contract APVV-16-0073 and the Grant VEGA No. 2/0069/16 SAV.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Anatolij Dvurečenskij.

Ethics declarations

Conflicts of interest

All authors have declared that they have no conflict of interest.

Animals and human participants

This article does not contain any studies with human participants or animals performed by any of the authors.

Additional information

Communicated by A. Di Nola.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The first author gratefully acknowledges the support by the grant of the Slovak Research and Development Agency under contract APVV-16-0073, by the grant VEGA No. 2/0069/16 SAV.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Dvurečenskij, A., Zahiri, O. States on EMV-algebras. Soft Comput 23, 7513–7536 (2019). https://doi.org/10.1007/s00500-018-03738-x

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-018-03738-x

Keywords

Navigation