Skip to main content
SpringerLink
Log in

Internal states on equality algebras

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

Abstract

This paper investigates properties of equality algebras introduced by Jenei as a possible algebraic semantic for fuzzy type theory. We define and study the pointed equality algebras and its subclass of compatible pointed equality algebras. We introduce and investigate the internal states and the state-morphism operators on equality algebras and on their corresponding BCK-meet-semilattices. We prove that any internal state (state-morphism) on an equality algebra is also an internal state (state-morphism) on its corresponding BCK-meet-semilattice, and we prove the converse for the case of linearly ordered equality algebras. Another main result consists of proving that any state-morphism on a linearly ordered equality algebra is an internal state on it. We show that any internal state on a linearly ordered BCK-meet-semilattice satisfying the distributivity condition is also an internal state on its corresponding equality algebra and a state-morphism on a BCK-meet-semilattice satisfying the distributivity condition is also a state-morphism on its corresponding equality algebra.

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

Access this article

Log in via an institution

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

  • Borzooei RA, Dvurečenskij A, Zahiri O (2014) State BCK-algebras and state-morphism BCK-algebras. Fuzzy Sets Syst 244:86–105

    Article  Google Scholar 

  • Bosbach B (1969) Komplementäre Halbgruppen. Axiomatik und Aritmetik. Fund Math 64:257–287

  • Bosbach B (1970) Komplementäre Halbgruppen. Kongruenzen and Quotienten. Fund Math 69:1–14

  • Ciungu LC, Dvurečenskij A, Hyčko M (2011) State BL-algebras. Soft Comput 15:619–634

    Article  MATH  Google Scholar 

  • Ciungu LC (2013) Bounded pseudo-hoops with internal states. Math Slovaca 63:903–934

    Article  MATH  MathSciNet  Google Scholar 

  • Ciungu LC (2014a) On pseudo-equality algebras. Arch Math Logic 53:561–570

  • Ciungu LC (2014b) Non-commutative multiple-valued logic algebras, Springer, New York

  • Di Nola A, Dvurečenskij A (2009) State-morphism MV-algebras. Ann Pure Appl Logic 161:161–173

    Article  MATH  MathSciNet  Google Scholar 

  • Di Nola A, Dvurečenskij A, Lettieri A (2010) Erratum to the paper: “State-morphism MV-algebras” [Ann. Pure Appl. Logic 161(2009), 161–173]. Ann Pure Appl Logic 161:1605–1607

    Article  MATH  MathSciNet  Google Scholar 

  • Dvurečenskij A (2011) Subdirectly irreducible state-morphism BL-algebras. Arch Math Logic 50:145–160

    Article  MATH  MathSciNet  Google Scholar 

  • Dvurečenskij A, Rachůnek J, Šalounová D (2012) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58–76

  • Dvurečenskij A, Zahiri O (2014) Pseudo equality algebras-revision, submitted. arXiv:1405.5807[math.AC]

  • El-Zekey M, Novák V, Mesiar R (2011) On good EQ-algebras. Fuzzy Sets Syst 178:1–23

    Article  MATH  Google Scholar 

  • Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logics. Int J Approx Reason 50:138–152

    Article  MATH  MathSciNet  Google Scholar 

  • Georgescu G, Lorgulescu A (2001) Pseudo-BCK algebras: an extension of BCK-algebras. In: Proceedings of DMTCS’01: combinatorics, computability and logic. Springer, London, pp 97–114

  • Hájek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht

    Book  MATH  Google Scholar 

  • Imai Y, Iséki K (1966) On axiom systems of propositional calculi. In: Proceedings of the Japan Academy XIV, vol 42. pp 19–22

  • Iorgulescu A (2006) Classes of pseudo-BCK algebras part I. J Mult Valued Logic Soft Comput 12:71–130

    MATH  MathSciNet  Google Scholar 

  • Iorgulescu A (ed) (2008) Algebras of logic as BCK-algebras, ASE, Bucharest

  • Jenei S (2012) Equality algebras. Studia Logica 100:1201–1209

  • Jenei S, Kóródi L (2013) Pseudo equality algebras. Arch Math Logic 52:469–481

    Article  MATH  MathSciNet  Google Scholar 

  • Kühr J (2007) Pseudo-BCK semilattices. Demonstr Math 40:495–516

    MATH  Google Scholar 

  • Mundici D (1995) Averaging the truth-value in Łukasiewicz sentential logic. Studia Logica 55:113–127

    Article  MATH  MathSciNet  Google Scholar 

  • Novák V (2005a) On fuzzy type theory. Fuzzy Sets Syst 149:235–273

  • Novák V (2005b) Fuzzy type theory as high order fuzzy logic, In: Proceedings of InTech’05, Dec 14–16, 2005, Bangkok, Thailand, pp 21–26

  • Novák V (2006) EQ-algebras: primary concepts and properties, In: Proceedings of Czech-Japan seminar, ninth meeting. Kitakyushu and Nagasaki, Graduate School of Information, Waseda University, 18–22 Aug 2006

  • Novák V (2007) EQ-algebras in progress. In: Castillo (ed), Theoretical advances and applications of fuzzy logic and soft computing, Springer, Berlin, pp 876–884

  • Novák V (2008) Principal fuzzy type theories for fuzzy logic in broader sense. In: Proceedings of conference on IPMU’2008, University of Málaga, Málaga, Spain, pp 1045–1052

  • Novák V, De Baets B (2009) EQ-algebras. Fuzzy Sets Syst 160:2956–2978

    Article  MATH  Google Scholar 

  • Novák V (2011a) EQ-algebra-based fuzzy type theory and its extensions. Logic J IGPL 19:512–542

  • Novák V, Dyba M (2011b) EQ-logics: non-commutative fuzzy logics based on fuzzy equality. Fuzzy Sets Syst 172:13–32

  • Rachůnek J, Šalounová D (2011) State operators on GMV-algebras. Soft Comput 15:327–334

    Article  MATH  Google Scholar 

Download references

Acknowledgments

The author is very grateful to the referees for the valuable suggestions in obtaining the final form of this paper.

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Iowa, 14 MacLean Hall, Iowa City, Iowa, 52242-1419, USA

    Lavinia Corina Ciungu

Authors
  1. Lavinia Corina Ciungu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lavinia Corina Ciungu.

Additional information

Communicated by A. Dvurečenskij.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ciungu, L.C. Internal states on equality algebras. Soft Comput 19, 939–953 (2015). https://doi.org/10.1007/s00500-014-1494-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-014-1494-3

Keywords

Search

Navigation