ON CO-FILTERS OF IMPLICATIVE SEMIGROUPS WITH APARTNESS (Q4989775)
From MaRDI portal
scientific article; zbMATH DE number 7351386
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON CO-FILTERS OF IMPLICATIVE SEMIGROUPS WITH APARTNESS |
scientific article; zbMATH DE number 7351386 |
Statements
ON CO-FILTERS OF IMPLICATIVE SEMIGROUPS WITH APARTNESS (English)
0 references
26 May 2021
0 references
constructive mathematics
0 references
semigroup with apartness
0 references
co-ordered semigroups
0 references
implicative semigroups with apartness
0 references
co-filter
0 references
