On quasi-antiorder in semigroups
Keywords:
Constructive algebra, semigroup with apartness, ordered semigroup, antiorder, quasi-antiorderSubjects:
03F65, 20M99Abstract
Partially ordered semigroups with apartness under an antiorder areinvestigated from the point of view of Bishop's constructivemathematics. We analyze quasi-antiorder relations on orderedsemigroups under an antiorder. The connection between twoquasi-antiorders on a semigroup is presented.
Downloads
Published
2012-07-15
Issue
Section
Articles
License
Copyright (c) 2012 Authors retain copyright to their work.
This work is licensed under a Creative Commons Attribution 4.0 International License.