Home On properties of the free BCI-algebra with one generator
Article
Licensed
Unlicensed Requires Authentication

On properties of the free BCI-algebra with one generator

  • Alfonz Haviar EMAIL logo and Pavol Konôpka
Published/Copyright: November 3, 2016
Become an author with De Gruyter Brill

Abstract

In this paper we show that the free BCI-algebra with one generator has an infinite number of branches and that every branch (as a poset) has the least and the greatest element and is of infinite length and width.

MSC 2010: Primary 06F35

(Communicated by Miroslav Ploščica)


Acknowledgement

The authors would like to thank the referee for many valuable suggestions.

References

[1] Huang Yisheng: BCI-Algebra, Science Press, Bejiing, 2006.Search in Google Scholar

[2] Kashima, K.–Komori, K.: The word problem for free BCI-algebras is decidable, Math. Japonica 37 (1992), 1025–1029.Search in Google Scholar

[3] Raftery, J. G.–Van Alten, C. J.: Residuation in commutative ordered monoids with minimal zero, Rep. Math. Logic 34 (2000), 23–57.Search in Google Scholar

Received: 2012-12-10
Accepted: 2014-2-27
Published Online: 2016-11-3
Published in Print: 2016-8-1

© 2016 Mathematical Institute Slovak Academy of Sciences

Articles in the same Issue

  1. Research Article
  2. Effect algebras with a full set of states
  3. Research Article
  4. An approach to orthomodular lattices via lattices with an antitone involution
  5. Research Article
  6. On properties of the free BCI-algebra with one generator
  7. Research Article
  8. The generalized order-k Narayana's cows numbers
  9. Research Article
  10. The irrationality of infinite series of a special kind
  11. Research Article
  12. On skew-commuting mappings in semiprime rings
  13. Research Article
  14. On the subordination and superordination of strongly starlike functions
  15. Research Article
  16. On a subclass of analytic functions involving Sălăgean integral operator
  17. Research Article
  18. Uniqueness of meromorphic functions sharing a value or small function
  19. Research Article
  20. A new inclusion for Bavrin's families of holomorphic functions in n-circular domains
  21. Research Article
  22. Oscillation of nonlinear fourth order mixed neutral differential equations
  23. Research Article
  24. Oscillation results for third order nonlinear mixed neutral differential equations
  25. Research Article
  26. Homoclinic solutions for second order Hamiltonian systems with general potentials
  27. Research Article
  28. A class of fractional impulsive functional differential equations with nonlocal conditions
  29. Research Article
  30. The weighted reverse poincaré type inequality for the difference of two parabolic subsolutions
  31. Research Article
  32. On the well posed solutions for nonlinear second order neutral difference equations
  33. Research Article
  34. Some approximation results for operators of Szász-Mirakjan-Durrmeyer type
  35. Research Article
  36. On the geometry of conditional expectations treated as projections on the L2-space
  37. Research Article
  38. Spectral problems of nonself-adjoint singular discrete Sturm-Liouville operators
  39. Research Article
  40. A necessary condition for the Smith equivalence of G-modules and its sufficiency
  41. Research Article
  42. On the internal approach to differential equations. 1. The involutiveness and standard basis
  43. Research Article
  44. Law of inertia for the factorization of cubic polynomials — the case of discriminants divisible by three
Downloaded on 27.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/ms-2015-0180/html
Scroll to top button