Page 1

Displaying 1 – 7 of 7

Showing per page

Hilbert algebras as implicative partial semilattices

Jānis Cīrulis (2007)

Open Mathematics

The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice (i.e., a relative...

Holland’s theorem for pseudo-effect algebras

Anatolij Dvurečenskij (2006)

Czechoslovak Mathematical Journal

We give two variations of the Holland representation theorem for -groups and of its generalization of Glass for directed interpolation po-groups as groups of automorphisms of a linearly ordered set or of an antilattice, respectively. We show that every pseudo-effect algebra with some kind of the Riesz decomposition property as well as any pseudo M V -algebra can be represented as a pseudo-effect algebra or as a pseudo M V -algebra of automorphisms of some antilattice or of some linearly ordered set.

Horizontal sums of basic algebras

Ivan Chajda (2009)

Discussiones Mathematicae - General Algebra and Applications

The variety of basic algebras is closed under formation of horizontal sums. We characterize when a given basic algebra is a horizontal sum of chains, MV-algebras or Boolean algebras.

Currently displaying 1 – 7 of 7

Page 1