×

Simple negatively ordered implicative semigroups. (Chinese. English summary) Zbl 1240.06059

Summary: A negatively ordered implicative semigroup \( (S, \leq, \cdot, *)\) is called simple if all ordered filters of \(S\) are \(\{1\}\) and \(S\) itself. Negatively ordered implicative semigroups being simple are characterized in this paper and some conditions for a negatively ordered implicative semigroups to be simple are given.

MSC:

06F05 Ordered semigroups and monoids