|
|||||
|
|
Topological representation of geometric theories |
|
| Authors: | Henrik Forssell |
| Institution: | Department of Informatics, University of Oslo, PO Box 1080, Blindern, 0316 Oslo, Norway |
| Abstract: | |
| Keywords: | Geometric logic duality categorical logic topos theory topological semantics MSC (2010) 03G30 18B25 18C10 18C50 18F20 |