Multi-valued Logic for a Point-Free Foundation of Geometry (Q3295804)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-valued Logic for a Point-Free Foundation of Geometry |
scientific article |
Statements
Multi-valued Logic for a Point-Free Foundation of Geometry (English)
0 references
13 July 2020
0 references
multivalued logic
0 references
point-free geometry
0 references
gradual inclusion
0 references
sequence abstraction
0 references
inclusive space
0 references
