Banaschewski’s theorem for generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

A generalized MV-algebra A is called representable if it is a subdirect product of linearly ordered generalized MV-algebras. Let S be the system of all congruence relations ϱ on A such that the quotient algebra A/ϱ is representable. In the present paper we prove that the system S has a least element. This work was supported by Science and Technology Assistance Agency under Contract No AVPT-51-032002. The work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information (grant I/2/2005).     

Isometries of generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

In this paper we investigate the relations between isometries and direct product decompositions of generalized MV-algebras.     

<Emphasis Type="Italic">K</Emphasis>-Radical classes and product radical classes of <Emphasis Type="Italic">MV</Emphasis>-algebras

For an MV-algebra let J ₀( ) be the system of all closed ideals of ; this system is partially ordered by the set-theoretical inclusion. A radical class X of MV-algebras will be called a K-radical class iff, whenever ∈ X and is an MV-algebra with J ₀( ) ≅ J ₀( ), then ∈ X. An analogous notation for lattice ordered groups was introduced and studied by Conrad. In the present paper we show that there is a one-to-one correspondence between K-radical classes of MV-algebras and K-radical classes of abelian lattice ordered groups. We also prove an analogous result for product radical classes of MV-algebras; product radical classes of lattice ordered groups were studied by Ton. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, Grant I/2/2005.     

Monadic <Emphasis Type="Italic">GMV</Emphasis>-algebras

Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued logic. We introduce monadic GMV-algebras and describe their connections to certain couples of GMV-algebras and to left adjoint mappings of canonical embeddings of GMV-algebras. Furthermore, functional MGMV-algebras are studied and polyadic GMV-algebras are introduced and discussed. The first author was supported by the Council of Czech Government, MSM 6198959214.     

Modal operators on bounded commutative residuated <Emphasis Type="Italic">ℓ</Emphasis>-monoids

Bounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., Heyting algebras and BL-algebras, i.e., algebras of intuitionistic logic and basic fuzzy logic, respectively. Modal operators (special cases of closure operators) on Heyting algebras were studied in [MacNAB, D. S.: Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5–29] and on MV-algebras in [HARLENDEROVá,M.—RACHŮNEK, J.: Modal operators on MV-algebras, Math. Bohem. 131 (2006), 39–48]. In the paper we generalize the notion of a modal operator for general bounded commutative Rℓ-monoids and investigate their properties also for certain derived algebras. The first author was supported by the Council of Czech Government, MSM 6198959214.     

Quasivarieties of pseudo-<Emphasis Type="Italic">MV</Emphasis>-algebras

Denote by Υ₁ the collection of quasivarieties of pseudo-MV-algebras; and by Υ₂, the collection of quasivarieties of lattice-ordered groups. With respect to the set-theoretic inclusion, Υ₁ and Υ₂ are lattices. We note some properties of Υ₁ and construct an injective mapping φ of Υ₂ into Υ₁ such that Z ₁?Z ₂??(Z ₁)??(Z ₂) for all Z ₁, Z ₂ ∈ Υ₂.     

On locally <Emphasis Type="Italic">A</Emphasis>-convex <Emphasis Type="Italic">H</Emphasis>*-algebras

We endow any proper A-convex H*-algebra (E, τ) with a locally pre-C*-topology. The latter is equivalent to that introduced by the pre C*-norm given by Ptàk function when (E, τ) is a Q-algebra. We also prove that the algebra of complex numbers is the unique proper locally A-convex H*-algebra which is barrelled and Q-algebra.      

On idempotent modifications of <Emphasis Type="Italic">MV</Emphasis>-algebras

The notion of idempotent modification of an algebra was introduced by Ježek. He proved that the idempotent modification of a group is subdirectly irreducible. For an MV-algebra we denote by , A and the idempotent modification, the underlying set or the underlying lattice of , respectively. In the present paper we prove that if is semisimple and is a chain, then is subdirectly irreducible. We deal also with a question of Ježek concerning varieties of algebras.     

Companion <Emphasis Type="Italic">d</Emphasis>-algebras

In this paper we develop a theory of companion d-algebras in sufficient detail to demonstrate considerable parallelism with the theory of BCK-algebras as well as obtaining a collection of results of a novel type. Included among the latter are results on certain natural posets associated with companion d-algebras as well as constructions on Bin(X), the collection of binary operations on the set X, which permit construction of new companion d-algebras from companion d-algebras X also in natural ways. Supported by Korea Research Foundation Grant (KRF-2002-041-C00003).     

Ultra <Emphasis Type="Italic">LI</Emphasis>-ideals in lattice implication algebras and <Emphasis Type="Italic">MTL</Emphasis>-algebras

A mistake concerning the ultra LI-ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an LI-ideal to be an ultra LI-ideal are given. Moreover, the notion of an LI-ideal is extended to MTL-algebras, the notions of a (prime, ultra, obstinate, Boolean) LI-ideal and an ILI-ideal of an MTL-algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in MTL-algebra: (1) prime proper LI-ideal and Boolean LI-ideal, (2) prime proper LI-ideal and ILI-ideal, (3) proper obstinate LI-ideal, (4) ultra LI-ideal. This work was supported by the Zhejiang Provincial Natural Science Foundation of China (Grant No. Y605389) and K. C. Wong Magna Fund in Ningbo University.     

On a cancellation rule for subdirect products of lattice ordered groups and of <Emphasis Type="Italic">GMV</Emphasis>-algebras

The notion of internal subdirect decomposition can be defined in each variety of algebras. In the present note we prove the validity of a cancellation rule concerning such decompositions for lattice ordered groups and for GMV-algebras. For the case of groups, this cancellation rule fails to be valid. This work was partially supported by the Slovak Academy of Sciences via the project Center of Excellence — Physics of Information, Grant I/2/2005.     

Implicative hyper <Emphasis Type="Italic">K</Emphasis>-algebras

In this note we first define the notions of (weak, strong) implicative hyper K-algebras. Then we show by examples that these notions are different. After that we state and prove some theorems which determine the relationship between these notions and (weak) hyper K-ideals. Also we obtain some relations between these notions and (weak) implicative hyper K-ideals. Finally, we study the implicative hyper K-algebras of order 3, in particular we obtain a relationship between the positive implicative hyper K-algebras and (weak, strong) implicative hyper K-algebras under a simple condition.     

Formations of lattice ordered groups and of <Emphasis Type="Italic">GMV</Emphasis>-algebras

A class of lattice ordered groups is called a formation if it is closed with respect to homomorphic images and finite subdirect products. Analogously we define the formation of GMV-algebras. Let us denote by ℱ₁ and ℱ₂ the collection of all formations of lattice ordered groups or of GMV-algebras, respectively. Both ℱ₁ and ℱ₂ are partially ordered by the class-theoretical inclusion. We prove that ℱ₁ satisfies the infinite distributivity law and that ℱ₂ is isomorphic to a principal ideal of ℱ₁. This work was supported by VEGA grant 2/7141/27.     

Ideals and atoms of <Emphasis Type="Italic">BZ</Emphasis>-algebras

Ideals and atoms are studied by various authors from different point of views. In different algebras there are studied different ideals, but obtained results are similar. Below we present a new method of study of ideals in BZ-algebras. Using this method we describe the connection between ideals of various types. Supported by Natural Science Foundation of China (Grant No. 60775038).     

Localization of <Emphasis Type="Italic">LM</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-algebras

The aim of this paper is to define the localization LM _n -algebra of an LM _n —algebra L with respect to a topology F on L; in Section 5 we prove that the maximal LM _n -algebra of fractions (defined in [3]) and the LM _n -algebra of fractions relative to an Λ—closed system (defined in Section 2) are LM _n -algebras of localization.     

Approximations for the <Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">GI</Emphasis>/<Emphasis Type="Italic">N</Emphasis>+<Emphasis Type="Italic">GI</Emphasis> type call center

In this paper, we propose approximations to compute the steady-state performance measures of the M/GI/N+GI queue receiving Poisson arrivals with N identical servers, and general service and abandonment-time distributions. The approximations are based on scaling a single server M/GI/1+GI queue. For problems involving deterministic and exponential abandon times distributions, we suggest a practical way to compute the waiting time distributions and their moments using the Laplace transform of the workload density function. Our first contribution is numerically computing the workload density function in the M/GI/1+GI queue when the abandon times follow general distributions different from the deterministic and exponential distributions. Then we compute the waiting time distributions and their moments. Next, we scale-up the M/GI/1+GI queue giving rise to our approximations to capture the behavior of the multi-server system. We conduct extensive numerical experiments to test the speed and performance of the approximations, which prove the accuracy of their predictions.      

The flatness properties of <Emphasis Type="Italic">S</Emphasis>-poset <Emphasis Type="Italic">A</Emphasis>(<Emphasis Type="Italic">I</Emphasis>) and Rees factor <Emphasis Type="Italic">S</Emphasis>-posets

Let S be a pomonoid and I a proper right ideal of S. In a previous paper, using the amalgamated coproduct A(I) of two copies of _S S over I, we were able to solve one of the problems posed in S. Bulman-Fleming et al. (Commun. Algebra 34:1291–1317, 2006). In the present paper, we investigate further flatness properties of A(I). We also solve another problem stated in the paper cited above. Namely, we determine the condition under which Rees factor S-posets have property (P _w ). Research supported by nwnu-kjcxgc-03-18.     

<Emphasis Type="Italic">∂</Emphasis>-operations and <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">V</Emphasis></Subscript>-fields

The hyperoperations, called theta-operations （δ）, are motivated from the usual property, which the derivative has on the derivation of a product of functions. Using any map on a set, one can define δ-operations. In this paper, we continue our study on the δ-operations on groupoids, rings, fields and vector spaces or on the corresponding hyperstructures. Using δ-operations one obtains, mainly, Hwstructures, which form the largest class of the hyperstructures. For representation theory of hyperstructures, by hypermatrices, one needs special Hv-rings or Hy-fields, so these hyperstructures can be used. Moreover, we study the relation of these δ-structures with other classes of hyperstructures, especially with the Hv-structures.     

Consecutive customer losses in regular and oscillating <Emphasis Type="Italic">M</Emphasis><Superscript><Emphasis Type="Italic">X</Emphasis></Superscript>/<Emphasis Type="Italic">G</Emphasis>/1/<Emphasis Type="Italic">n</Emphasis> systems

We derive fast recursions to compute the probability that k or more consecutive customer losses take place during a busy period of a queue, the so called k-CCL probability, for regular and oscillating M ^X /G/1/n systems.     

On <Emphasis Type="Italic">k</Emphasis>-Spaces and <Emphasis Type="Italic">k</Emphasis><Subscript><Emphasis Type="Italic">R</Emphasis></Subscript>-Spaces

In this note we study the relation between k _R -spaces and k-spaces and prove that a k _R -space with a σ-hereditarily closure-preserving k-network consisting of compact subsets is a k-space, and that a k _R -space with a point-countable k-network consisting of compact subsets need not be a k-space. This work was supported by the NSF of China (10271056).