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.

Bibliographic Details
Main Author: Young Bae Jun
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