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.
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
© 2016 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Research Article
- Effect algebras with a full set of states
- Research Article
- An approach to orthomodular lattices via lattices with an antitone involution
- Research Article
- On properties of the free BCI-algebra with one generator
- Research Article
- The generalized order-k Narayana's cows numbers
- Research Article
- The irrationality of infinite series of a special kind
- Research Article
- On skew-commuting mappings in semiprime rings
- Research Article
- On the subordination and superordination of strongly starlike functions
- Research Article
- On a subclass of analytic functions involving Sălăgean integral operator
- Research Article
- Uniqueness of meromorphic functions sharing a value or small function
- Research Article
- A new inclusion for Bavrin's families of holomorphic functions in n-circular domains
- Research Article
- Oscillation of nonlinear fourth order mixed neutral differential equations
- Research Article
- Oscillation results for third order nonlinear mixed neutral differential equations
- Research Article
- Homoclinic solutions for second order Hamiltonian systems with general potentials
- Research Article
- A class of fractional impulsive functional differential equations with nonlocal conditions
- Research Article
- The weighted reverse poincaré type inequality for the difference of two parabolic subsolutions
- Research Article
- On the well posed solutions for nonlinear second order neutral difference equations
- Research Article
- Some approximation results for operators of Szász-Mirakjan-Durrmeyer type
- Research Article
- On the geometry of conditional expectations treated as projections on the L2-space
- Research Article
- Spectral problems of nonself-adjoint singular discrete Sturm-Liouville operators
- Research Article
- A necessary condition for the Smith equivalence of G-modules and its sufficiency
- Research Article
- On the internal approach to differential equations. 1. The involutiveness and standard basis
- Research Article
- Law of inertia for the factorization of cubic polynomials — the case of discriminants divisible by three
Articles in the same Issue
- Research Article
- Effect algebras with a full set of states
- Research Article
- An approach to orthomodular lattices via lattices with an antitone involution
- Research Article
- On properties of the free BCI-algebra with one generator
- Research Article
- The generalized order-k Narayana's cows numbers
- Research Article
- The irrationality of infinite series of a special kind
- Research Article
- On skew-commuting mappings in semiprime rings
- Research Article
- On the subordination and superordination of strongly starlike functions
- Research Article
- On a subclass of analytic functions involving Sălăgean integral operator
- Research Article
- Uniqueness of meromorphic functions sharing a value or small function
- Research Article
- A new inclusion for Bavrin's families of holomorphic functions in n-circular domains
- Research Article
- Oscillation of nonlinear fourth order mixed neutral differential equations
- Research Article
- Oscillation results for third order nonlinear mixed neutral differential equations
- Research Article
- Homoclinic solutions for second order Hamiltonian systems with general potentials
- Research Article
- A class of fractional impulsive functional differential equations with nonlocal conditions
- Research Article
- The weighted reverse poincaré type inequality for the difference of two parabolic subsolutions
- Research Article
- On the well posed solutions for nonlinear second order neutral difference equations
- Research Article
- Some approximation results for operators of Szász-Mirakjan-Durrmeyer type
- Research Article
- On the geometry of conditional expectations treated as projections on the L2-space
- Research Article
- Spectral problems of nonself-adjoint singular discrete Sturm-Liouville operators
- Research Article
- A necessary condition for the Smith equivalence of G-modules and its sufficiency
- Research Article
- On the internal approach to differential equations. 1. The involutiveness and standard basis
- Research Article
- Law of inertia for the factorization of cubic polynomials — the case of discriminants divisible by three