In the present paper we deal with generalized -algebras (-algebras, in short) in the sense of Galatos and Tsinakis. According to a result of the mentioned authors, -algebras can be obtained by a truncation construction from lattice ordered groups. We investigate direct summands and retract mappings of -algebras. The relations between -algebras and lattice ordered groups are essential for this investigation.
We continue the study of directoid groups, directed abelian groups equipped with an extra binary operation which assigns an upper bound to each ordered pair subject to some natural restrictions. The class of all such structures can to some extent be viewed as an equationally defined substitute for the class of (2-torsion-free) directed abelian groups. We explore the relationship between the two associated categories, and some aspects of ideals of directoid groups.
The paper deals with binary operations in the unit interval. We investigate connections between families of triangular norms, triangular conorms, uninorms and some decreasing functions. It is well known, that every uninorm is build by using some triangular norm and some triangular conorm. If we assume, that uninorm fulfils additional assumptions, then this triangular norm and this triangular conorm have to be ordinal sums. The intervals in ordinal sum are depending on the set of values of a decreasing...
The distinguished completion of a lattice ordered group was investigated by Ball [1], [2], [3]. An analogous notion for -algebras was dealt with by the author [7]. In the present paper we prove that if a lattice ordered group is a direct product of lattice ordered groups
This paper deals with implications defined from disjunctive uninorms by the expression where is a strong negation. The main goal is to solve the functional equation derived from the distributivity condition of these implications over conjunctive and disjunctive uninorms. Special cases are considered when the conjunctive and disjunctive uninorm are a -norm or a -conorm respectively. The obtained results show a lot of new solutions generalyzing those obtained in previous works when the implications...
We study solvability of equations of the form in the groups of order automorphisms of archimedean-complete totally ordered groups of rank 2. We determine exactly which automorphisms of the unique abelian such group have square roots, and we describe all automorphisms of the general ones.
It is shown that divisible effect algebras are in one-to-one correspondence with unit intervals in partially ordered rational vector spaces.
Let be the space of continuous real-valued functions on X, with the topology of pointwise convergence. We consider the following three properties of a space X: (a) is Scott-domain representable; (b) is domain representable; (c) X is discrete. We show that those three properties are mutually equivalent in any normal T₁-space, and that properties (a) and (c) are equivalent in any completely regular pseudo-normal space. For normal spaces, this generalizes the recent result of Tkachuk that is...
We study domain-representable spaces, i.e., spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. We show that the Michael and Sorgenfrey lines are of this type, as is any subspace of any space of ordinals. We show that any completely regular space is a closed subset of some domain-representable space, and that if X is domain-representable, then so is any -subspace of X. It follows that any Čech-complete...
We recall from [9] the definition and properties of an algebra cone C of a real or complex Banach algebra A. It can be shown that C induces on A an ordering which is compatible with the algebraic structure of A. The Banach algebra A is then called an ordered Banach algebra. An important property that the algebra cone C may have is that of normality. If C is normal, then the order structure and the topology of A are reconciled in a certain way. Ordered Banach algebras have interesting spectral properties....