Startseite State hoops
Artikel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

State hoops

  • Rajab Ali Borzooei EMAIL logo , Mona Aaly Kologani EMAIL logo und Omid Zahiri EMAIL logo
Veröffentlicht/Copyright: 28. Februar 2017
Veröffentlichen auch Sie bei De Gruyter Brill
Informationen für Autor*innen Erkunden Sie dieses Fachgebiet
Mathematica Slovaca
Aus der Zeitschrift Mathematica Slovaca Band 67 Heft 1

Abstract

In this paper, we define the notions of a state ⊔-hoop and a state-morphism ⊔-hoop extending the language of hoop by adding a unary operator and investigate some properties of them. Also, we extend state ⊔-hoop to state hoop and study the relation between state hoops and state BL-algebras, MV-algebras and BCK-algebras.

MSC 2010: Primary 03G25; 06D99
Keywords: Hoop algebra; state ⊔-hoop; state hoop; state-morphism

(Communicated by Sylvia Pulmannová)

Acknowledgement

The authors wish to express their appreciation for several excellent suggestions for improvements in this paper made by the editor and referees.

References

[1] Aglianò, P.—Ferreirim, I. M. A.—Montagna, F.: Basic hoops: an algebraic study of continuous t-norm, Studia Logica 87 (2007), 73–98.10.1007/s11225-007-9078-1Suche in Google Scholar

[2] Borzooei, R. A—Dvurečenskij, A.—Zahiri, O.: State BCK-algebras and state-morphism BCK-algebras, Fuzzy Sets and Systems 244 (2014), 86–105.10.1016/j.fss.2013.12.007Suche in Google Scholar

[3] Bosbach, B.: Komplementäre halbgruppen. Axiomatik und arithmetik, Fund. Math. 64 (1969), 257–287.10.4064/fm-64-3-257-287Suche in Google Scholar

[4] Bosbach, B.: Komplementäre halbgruppen. Kongruenzen and quotienten, Fund. Math. 69 (1970), 1–14.10.4064/fm-69-1-1-14Suche in Google Scholar

[5] Büchi, J. R.—Owens, T. M.: Complemented monoids and hoops, unpublished manuscript.Suche in Google Scholar

[6] Chang, C. C.: Algebraic analysis of many-valued Logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.10.1090/S0002-9947-1958-0094302-9Suche in Google Scholar

[7] Ciungu, L. C.: Bounded pseudo-hoops with internal states, Math. Slovaca 63 (2013), 903–934.10.2478/s12175-013-0144-zSuche in Google Scholar

[8] Ciungu, L. C.: Algebras on subintervals of pseudo-hoops, Fuzzy Sets and Systems 160 (2009), 1099–1113.10.1016/j.fss.2008.08.013Suche in Google Scholar

[9] Ciungu, L. C.: On pseudo-BCK-algebras with pseudo double negation, An. Univ. Craiova Ser. Mat. Inform. 37 (2010), 19–26.Suche in Google Scholar

[10] Ciungu, L. C.—Dvurečenskij, A.—Hyčko, M.: State BL-algebras, Soft Comput 15 (2010), 619–634.10.1007/s00500-010-0571-5Suche in Google Scholar

[11] Ciungu, L. C.—Dvurečenskij, A.: Measures, states and de Finetti maps on pseudo-BCK algebras, Fuzzy Sets and Systems 161 (2010), 2870–2896.10.1016/j.fss.2010.03.017Suche in Google Scholar

[12] Di Nola, A.—Dvurečenskij, A.: State-morphism MV-algebras, Ann. Pure Appl. Logic. 161 (2009), 161–173.10.1016/j.apal.2009.05.003Suche in Google Scholar

[13] Di Nola, A.—Dvurečenskij, A.: On some classes of state-morphism MV-algebra s, Math. Slovaca 59 (2009), 517–534.10.2478/s12175-009-0145-0Suche in Google Scholar

[14] Dvurečenskij, A.—Rachůnek, J.—Šalounová, D.: State operators on generalizations of fuzzy structures, Fuzzy Sets and Systems 187 (2012), 58–76.10.1016/j.fss.2011.05.023Suche in Google Scholar

[15] Dvurečenskij, A.—Rachůnek, J.: On Riečan and Bosbach states for bounded non-commutative Rl-monoids, Math. Slovaca 56 (2006), 487–500.Suche in Google Scholar

[16] Flaminio, T.—Montagna, F.: MV-algebras with internal states and probabilistic fuzzy logics, Internat. J. Approx. Reason. 50 (2009), 138–152.10.1016/j.ijar.2008.07.006Suche in Google Scholar

[17] Georgescu, G.—Leuştean, L.—Preoteasa, V.: Pseudo-hoops, J. Mult.-Valued Logic Soft Comput. 11 (2005), 153–184.Suche in Google Scholar

[18] Georgescu, G.: Bosbach states on fuzzy structures, Soft Comput 8 (2004), 217–230.10.1007/s00500-003-0266-2Suche in Google Scholar

[19] Hájek, P.: Mathematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1998.Suche in Google Scholar

[20] Hedayati, H.—Jun, Y. B.: Chain condition on fuzzy positive implicative filters of BL-algebras, Hacet. J. Math. Stat. 40 (2011), 819–828.Suche in Google Scholar

[21] Iorgulescu, A.: Algebras of Logic as BCK-algebras, Bucharest University of Economics, 2008.Suche in Google Scholar

[22] Iseki, K.—Imai, Y.: On axiom systems of propositional calculi, XIV, Proc. Japan Acad. 42 (1966), 19–22.Suche in Google Scholar

[23] Kroupa, T.: Every state on semisimple MV-algebra is integral, Fuzzy Sets and Systems 157 (2006), 2771–2782.10.1016/j.fss.2006.06.015Suche in Google Scholar

[24] Kühr, J.—Mundici, D.: De Finetti theorem and Borel states in [0, 1]-valued algebraic logic, Internat. J. Approx. Reason. 46, (2007), 605–616.10.1016/j.ijar.2007.02.005Suche in Google Scholar

[25] Mundici, D.: Averaging the truth-value in Lukasiewicz logic, Studia Logica 55 (1995), 113–127.10.1007/BF01053035Suche in Google Scholar

[26] Noguera, C.—Esteva, F.—Gispert, J.: Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Arch. Math. Logic 44 (2005), 869–886.10.1007/s00153-005-0276-0Suche in Google Scholar

[27] Panti, G.: Invariant measures in free MV-algebras, Comm. Algebra 36 (2008), 2849–2861.10.1080/00927870802104394Suche in Google Scholar

[28] Rachůnek, J.—Šalounová, D.: State operators on GMV-algebras, Soft Comput 15 (2011), 327–334.10.1007/s00500-010-0568-0Suche in Google Scholar

[29] Riečan, B.: On the probability on BL-algebras, Acta Math. Nitra 4 (2000), 3–13.Suche in Google Scholar

[30] Xu, Y.—Ruan, D.—Qin, K.—Liu, J.: Lattice valued logic, Stud. Fuzziness Soft Comput. 132, 2003.10.1007/978-3-540-44847-1Suche in Google Scholar
Received: 2013-12-09
Accepted: 2015-03-30
Published Online: 2017-02-28
Published in Print: 2017-03-01

© 2017 Mathematical Institute Slovak Academy of Sciences

Artikel in diesem Heft

  1. State hoops
  2. On derivations of partially ordered sets
  3. Interior and closure operators on commutative basic algebras
  4. When is the cayley graph of a semigroup isomorphic to the cayley graph of a group
  5. Sequences of cantor type and their expressibility
  6. δ-Fibonacci and δ-lucas numbers, δ-fibonacci and δ-lucas polynomials
  7. Law of inertia for the factorization of cubic polynomials – the case of primes 2 and 3
  8. Closed hereditary coreflective subcategories in epireflective subcategories of Top
  9. Method of upper and lower solutions for coupled system of nonlinear fractional integro-differential equations with advanced arguments
  10. Difference of two strong Światkowski lower semicontinuous functions
  11. Fejér-type inequalities (II)
  12. Representation of maxitive measures: An overview
  13. On a conjecture of Y. H. Cao and X. B. Zhang
  14. On the generalized orthogonal stability of the pexiderized quadratic functional equations in modular spaces
  15. Almost everywhere convergence of some subsequences of Fejér means for integrable functions on some unbounded Vilenkin groups
  16. Homological properties of banach modules over abstract segal algebras
  17. Variable Hajłasz-Sobolev spaces on compact metric spaces
  18. Commuting pairs of self-adjoint elements in C*-algebras
  19. Additivity of maps preserving products AP ± PA* on C*-algebras
  20. A note on derived connections from semi-symmetric metric connections
  21. Lindelöf P-spaces need not be Sokolov
  22. Strong convergence properties for arrays of rowwise negatively orthant dependent random variables
  23. Least absolute deviations problem for the Michaelis-Menten function
  24. Congruence pairs of principal p-algebras
https://doi.org/10.1515/ms-2016-0242
Schlagwörter für diesen Artikel
Hoop algebra; state ⊔-hoop; state hoop; state-morphism

Artikel in diesem Heft

  1. State hoops
  2. On derivations of partially ordered sets
  3. Interior and closure operators on commutative basic algebras
  4. When is the cayley graph of a semigroup isomorphic to the cayley graph of a group
  5. Sequences of cantor type and their expressibility
  6. δ-Fibonacci and δ-lucas numbers, δ-fibonacci and δ-lucas polynomials
  7. Law of inertia for the factorization of cubic polynomials – the case of primes 2 and 3
  8. Closed hereditary coreflective subcategories in epireflective subcategories of Top
  9. Method of upper and lower solutions for coupled system of nonlinear fractional integro-differential equations with advanced arguments
  10. Difference of two strong Światkowski lower semicontinuous functions
  11. Fejér-type inequalities (II)
  12. Representation of maxitive measures: An overview
  13. On a conjecture of Y. H. Cao and X. B. Zhang
  14. On the generalized orthogonal stability of the pexiderized quadratic functional equations in modular spaces
  15. Almost everywhere convergence of some subsequences of Fejér means for integrable functions on some unbounded Vilenkin groups
  16. Homological properties of banach modules over abstract segal algebras
  17. Variable Hajłasz-Sobolev spaces on compact metric spaces
  18. Commuting pairs of self-adjoint elements in C*-algebras
  19. Additivity of maps preserving products AP ± PA* on C*-algebras
  20. A note on derived connections from semi-symmetric metric connections
  21. Lindelöf P-spaces need not be Sokolov
  22. Strong convergence properties for arrays of rowwise negatively orthant dependent random variables
  23. Least absolute deviations problem for the Michaelis-Menten function
  24. Congruence pairs of principal p-algebras
Jetzt anmelden und 20% sparen
Institutioneller Zugang
Wie funktioniert Authentifizierung?
Haben Sie eine Idee, wie wir unsere Website verbessern können?
Bitte schreiben Sie uns.
© 2025 De Gruyter Brill
Heruntergeladen am 23.9.2025 von https://www.degruyterbrill.com/document/doi/10.1515/ms-2016-0242/html
Button zum nach oben scrollen