No label defined (Q5379646)
From MaRDI portal
scientific article; zbMATH DE number 7065709
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7065709 |
Statements
13 June 2019
0 references
constructive mathematics
0 references
semigroup with apartness
0 references
anti-ordered semigroups
0 references
implicative semigroups
0 references
homomorphism of implicative semigroups with apartness
0 references