QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228)
From MaRDI portal
scientific article; zbMATH DE number 7124568
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES |
scientific article; zbMATH DE number 7124568 |
Statements
QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (English)
0 references
30 October 2019
0 references
quantified intuitionistic logic
0 references
topological semantics
0 references
completeness
0 references
