Multi-sorted logic and logical geometry: some problems. (Q895878)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-sorted logic and logical geometry: some problems. |
scientific article |
Statements
Multi-sorted logic and logical geometry: some problems. (English)
0 references
7 December 2015
0 references
multi-sorted algebras
0 references
categories
0 references
logical geometry
0 references
affine spaces
0 references
universal algebraic geometry
0 references
Halmos algebra
0 references
type of a point
0 references
0 references
0 references
0 references
