Provides a thorough discussion of the orderability of a group. The book details the major
developments in the theory of lattice-ordered groups, delineating standard approaches to …

The study of groups equipped with a compatible lattice order (" lattice-ordered groups" or" I!-
groups") has arisen in a number of different contexts. Examples of this include the study of …

In a previous paper by the author [3], duality theorems for finitely generated vector lattices
and lattice-ordered Abelian groups are described. In particular, the category of finitely …

In the third section of the paper, by applying a theorem proved by the author in [2], we show
that'Z-map'and'piecewise homogeneous linear function'are equivalent concepts within the …

This paper deals with the problem of characterizing those topological spaces which are
homeomorphic to the prime spectra of MV-algebras or Abelian ℓ ℓ-groups. As a first main …

In previously studied cases in varieties of algebras, the word and isomorphism problems
have had the same solution. For abelian groups and loops, for example, both are soluble …

Combining tools from category theory, model theory, and non-standard analysis we extend
Baker-Beynon dualities to the classes of all Abelian $\ell $-groups and all Riesz spaces …

We study Łukasiewicz logic enriched by a scalar multiplication with scalars in [0, 1]. Its
algebraic models, called Riesz MV-algebras, are, up to isomorphism, unit intervals of Riesz …

Bey74, Bey77. Our main technical tool is a derivation operator that allows us to localize the
behavior of piecewise-linear functions at given points and along given directions. The …

In this thesis, we explore the extent to which computers can provide support for domain
learning. Computer support for domain learning is prominent in two main areas: in …