Positive implicative ordered filters of implicative semigroups
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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2000-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1155/S0161171200003781 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832553170760368128 |
|---|---|
| author | Young Bae Jun Kyung Ho Kim |
| author_facet | Young Bae Jun Kyung Ho Kim |
| author_sort | Young Bae Jun |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-127cfc48dc404b8ebb77f4506780926f |
| institution | Kabale University |
| issn | 0161-1712 1687-0425 |
| language | English |
| publishDate | 2000-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | International Journal of Mathematics and Mathematical Sciences |
| spelling | doaj-art-127cfc48dc404b8ebb77f4506780926f2025-02-03T05:54:40ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252000-01-01231280180610.1155/S0161171200003781Positive implicative ordered filters of implicative semigroupsYoung Bae Jun0Kyung Ho Kim1Department of Mathematics Education, Gyeongsang National University, Chinju 660-701, KoreaDepartment of Mathematics, Chungju National University, Chungju 380-702, KoreaWe 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.http://dx.doi.org/10.1155/S0161171200003781Implicative semigroupordered filter(positive) implicative ordered filter. |
| spellingShingle | Young Bae Jun Kyung Ho Kim Positive implicative ordered filters of implicative semigroups International Journal of Mathematics and Mathematical Sciences Implicative semigroup ordered filter (positive) implicative ordered filter. |
| title | Positive implicative ordered filters of implicative semigroups |
| title_full | Positive implicative ordered filters of implicative semigroups |
| title_fullStr | Positive implicative ordered filters of implicative semigroups |
| title_full_unstemmed | Positive implicative ordered filters of implicative semigroups |
| title_short | Positive implicative ordered filters of implicative semigroups |
| title_sort | positive implicative ordered filters of implicative semigroups |
| topic | Implicative semigroup ordered filter (positive) implicative ordered filter. |
| url | http://dx.doi.org/10.1155/S0161171200003781 |
| work_keys_str_mv | AT youngbaejun positiveimplicativeorderedfiltersofimplicativesemigroups AT kyunghokim positiveimplicativeorderedfiltersofimplicativesemigroups |