Conectivos en el topos de grafos dirigidos
En este artículo se describe el topos de grafos dirigidos y se presentan dos conectivos de aridad 1 que, junto con los de Heyting, constituyen un sistema completo de conectivos para el mismo.
- Autores:
-
Oostra, Arnold
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1996
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/31643
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/31643
http://bdigital.unal.edu.co/21722/
- Palabra clave:
- connectives
directed graphs
topoi
grothendieck topoi
conectivos
grafos dirigidos
topos de grafos
topos
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | En este artículo se describe el topos de grafos dirigidos y se presentan dos conectivos de aridad 1 que, junto con los de Heyting, constituyen un sistema completo de conectivos para el mismo. |
|---|