Displaying similar documents to “Some results on ordered filters of implicative semigroups.”

Soju Filters in Hoop Algebras

Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologhani, Young Bae Jun (2021)

Bulletin of the Section of Logic

Similarity:

The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.

On the embedding of ordered semigroups into ordered group

Mohammed Ali Faya Ibrahim (2004)

Czechoslovak Mathematical Journal

Similarity:

It was shown in [7] that any right reversible, cancellative ordered semigroup can be embedded into an ordered group and as a consequence, it was shown that a commutative ordered semigroup can be embedded into an ordered group if and only if it is cancellative. In this paper we introduce the concept of L -maher and R -maher semigroups and use a technique similar to that used in [7] to show that any left reversible cancellative ordered L or R -maher semigroup can be embedded into an ordered...