Positive implicative ordered filters of implicative semigroups (Q1580304)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Positive implicative ordered filters of implicative semigroups |
scientific article; zbMATH DE number 1505954
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Positive implicative ordered filters of implicative semigroups |
scientific article; zbMATH DE number 1505954 |
Statements
Positive implicative ordered filters of implicative semigroups (English)
0 references
27 February 2001
0 references
Summary: We introduce the notion of positive implicative ordered filters in implicative semigroups. We show that every positive implicative ordered filter is both an ordered filter and an implicative ordered filter. We give examples that an ordered filter (an implicative ordered filter) may not be a positive implicative ordered filter. We also give equivalent conditions of positive implicative ordered filters. Finally, we establish the extension property for positive implicative ordered filters.
0 references
positive implicative ordered filters
0 references
implicative semigroups
0 references
