Some results on ordered filters of implicative semigroups (Q1607733)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some results on ordered filters of implicative semigroups |
scientific article |
Statements
Some results on ordered filters of implicative semigroups (English)
0 references
13 August 2002
0 references
Summary: We introduce a special set in an implicative semigroup. Using this set, an equivalent condition for an ordered filter is stated. We prove that an ordered filter can be represented by the union of such sets.
0 references
implicative semigroup
0 references
