Co-quasiordered residuated systems: An introduction (Q5193474)
From MaRDI portal
scientific article; zbMATH DE number 7103252
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Co-quasiordered residuated systems: An introduction |
scientific article; zbMATH DE number 7103252 |
Statements
Co-quasiordered residuated systems: An introduction (English)
0 references
10 September 2019
0 references
Bishop's constructive mathematics
0 references
intuitionistic logic
0 references
set with apartness
0 references
co-quasiorder
0 references
residuated systems
0 references
