Homomorphisms of implicative semigroups
From MaRDI portal
A negatively ordered semigroup is an ordered semigroup \(S\) in which the product \(xy\) is a lower bound of \(\{x,y\}\) for all \(x,y\in S\). Such a semigroup is implicative if there is a binary operation \(*: S\to S\) such that \(zx\leq y\Leftrightarrow z\leq x * y\). The authors obtain several results concerning morphisms on such structures, generalizing results of W. C. Nemitz on implicative semilattices and of the reviewer on Brouwer semigroups.
Recommendations
Cites work
Cited in
(16)- On negatively ordered implicative semigroups
- On the adjoint semigroups of p-separable BCI-algebras
- Implicative commutative semigroups are equivalent to a class of BCK algebras
- Uni-soft structure applied to ordered semigroups
- On filters of implicative semilattices
- On ordered filters of implicative semigroups
- Lattice implication ordered semigroups
- Simple negatively ordered implicative semigroups
- Strong Semilattices of Implicative Semigroups
- Filters in Fuzzy Implicative Semigroups
- On filters of implicative n.p.o semigroups
- Pseudo-equality algebras and residuated posets
- On strong implicative semigroups
- Strongly extensional homomorphism of implicative semigroups with apartness
- Negatively ordered semigroups.
- On fuzzy ordered semigroups.
This page was built for publication: Homomorphisms of implicative semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1206773)
