Some results on ordered filters of implicative semigroups
We introduce a special set in an implicative semigroup. Using it, an equivalent condition of an ordered filter is stated. We prove that an ordered filter can be represented by the union of such sets.
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi Limited
2001-01-01
|
Series: | International Journal of Mathematics and Mathematical Sciences |
Online Access: | http://dx.doi.org/10.1155/S0161171201005579 |