Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness (Q5864430)
From MaRDI portal
scientific article; zbMATH DE number 7537889
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness |
scientific article; zbMATH DE number 7537889 |
Statements
Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness (English)
0 references
7 June 2022
0 references
Bishop's constructive mathematics
0 references
BCC-algebra with apartness
0 references
co-ideal
0 references
co-congruence
0 references
strongly extensional homomorphism
0 references
