No label defined (Q5225607)
From MaRDI portal
scientific article; zbMATH DE number 7084071
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7084071 |
Statements
22 July 2019
0 references
Heyting valued algebra
0 references
co-Heyting valued algebra
0 references
omega algebra
0 references
intuitionistic logic
0 references