On the validity of the definition of a complement-classifier
It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes (co-toposes), which are allegedly connected to the dual to intuitionistic logic. In this paper I present this new notion, some of...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Copernicus Center Press
2020-12-01
|
| Series: | Zagadnienia Filozoficzne w Nauce |
| Subjects: | |
| Online Access: | https://zfn.edu.pl/index.php/zfn/article/view/520 |